-i32 ^ i32
