Function push_value 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn push_value(
    stack: *mut u64,
    value: Value,
) -> *mut u64

Safety

Stack pointer must be valid and have room for the value.