Function patch_seq_push_value 

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

Safety

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