1 ^ i < i32
