#![allow(dead_code, deprecated, unused_variables, unused_mut)]
use core::hint;
/// # Safety
///
/// `p` must be nonnull and valid
pub unsafe fn next_value(p: *const i32) -> i32 {
    unsafe { hint::assert_unchecked(!p.is_null()) }
    if p.is_null() {
        return -1;
    } else {
        unsafe { *p + 1 }
    }
}
fn main() {}