not (i32 >= 1)
