i32 + i32 ^ i64
