sS toJava(O o) {
  ret str(new ToJava().get(o));
}