i32 ^ i ^ 1
