static void assertOK(S s) {
  assertTrue(s, isOK(s));
}