Function logos_rt_alloc_scope_leave 

pub unsafe extern "C" fn logos_rt_alloc_scope_leave(
    frame: *mut i64,
    dst: i64,
    src: i64,
    count: i64,
    imm: i64,
) -> i64

Release one native function’s scratch allocations, retaining its exported list handles for the caller. The first input is the return word; the rest are final mutable list parameters. A nonzero imm marks a scalar return.

Safety

The input window contains count readable slots, with at least one return slot. Every list export is a live handle; dst is writable.