pub unsafe extern "C" fn update_stack_pointer(
    vmctx: *mut VMContext,
    value: u32
)