max(i32) ^ i64
