i32 ^ abs(1)
