min(1 + i32)
