static S ok2(S s) {
  ret "ok " + s;
}