not (i32 <= i)
