sS toJava(O o) {
  if (o == null) ret "null";
  if (o instanceof String) ret quote(o);
  if (o instanceof Int) ret str(o);
  fail("toJava: " + className(o));
}