Function nova_rt_check_bounds 

#[unsafe(no_mangle)]
pub extern "C" fn nova_rt_check_bounds(index: i64, len: i64)

Abort if index is outside 0..len (an array bounds violation).