java_of_simple_expr with different types