-(i32 ^ i)
