static S ok(O o) {
  ret format("ok *", o);
}