i32 + i >= -1
