i32 ^ max(i)
