Function logos_rt_clear_i64 

pub unsafe extern "C" fn logos_rt_clear_i64(
    frame: *mut i64,
    vec_slot: i64,
    ptr_slot: i64,
    len_slot: i64,
)

In-place clear of a pinned list: vec.clear() (truncate to empty, KEEP the buffer/capacity) and refresh the pinned ptr/len slots (ptr unchanged — clear never reallocs — but refreshed for parity with push). Lowers an in-region NewEmptyList on a pinned array: an in-place mutation (like SetIndex), so the PRECISE region resumes over it soundly. See logos_rt_push_i64 for the frame-slot convention.

Safety

frame slots must be the caller’s live pins; vec_slot a live *mut Vec<i64>.