sS toJava(O o) { S code = toJavaOpt(o); if (code != null) ret code; fail("toJava: " + className(o)); }