Function runtime_cas_boxed_array 

pub extern "C" fn runtime_cas_boxed_array(
    arr: i64,
    idx: i64,
    expected: i64,
    new: i64,
) -> i64

CAS on a boxed array slot: compare-and-swap arr[idx]. Returns the old value. If old == expected, writes new.