i32 < 1 ^ i32
