i64 < i32 ? greet : 1
