i32 ** -1 ^ i32
