ok ? greet : i32
