Function patch_seq_push_value 

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

Safety

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