max(i32 ^ i32)
