i32 < i32 != ok
