i32 ^ i32 + i32
