pub extern "C" fn runtime_shrink_boxed_array(arr: i64, new_len: i64)
Shrink a boxed array (just update the length field).