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