static O unstructure_matchOK2OrFail(S s) {
  if (swic(s, "ok "))
    ret unstructure_startingAtIndex(s, 3);
  else
    fail(s);
}