i32 ^ i + i32
