-(i32 ^ 1)
