i32 - i32 ^ 1
