Function checked_vec_u64_into_sexp 

pub fn checked_vec_u64_into_sexp(val: Vec<u64>) -> SEXP

Convert Vec<u64> to R integer vector, panicking if any element > i32::MAX.

Walks the whole vector, batching every out-of-range element into one panic instead of aborting at the first — see panic_strict_vec_batched.