not (i32 >= i)
