pub fn index_loop(a: Vec<i64>, b: Vec<i64>) -> i64
Test function: index loop with assert (bounds check elided).