sclass ToJava {
  S get(O o) {
    ret toJava(o);
  }
}