max(i32 ^ 1)
