not (i32 >= i32)
