i32 ^ max(1)
