Function bamts_create_array 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn bamts_create_array(
    frame: *mut ShadowFrame,
    out: *mut Completion,
) -> u32

Safety

The caller must provide a live, uniquely owned frame whose nonempty handle range is disjoint from its header, and a live, aligned, writable out when this helper has one. Both remain valid and unaliased for the full call.

bamts_create_array(frame, out).