min(i32 + 1)
