-1 <= i32
