static S matchOK2OrFail(S s) {
  if (swic(s, "ok "))
    ret substring(s, 3);
  else if (eqic(s, "ok"))
    ret "ok";
  else
    fail(s);
}