fn advance(indices: &mut [usize], cycles: &mut [usize]) -> bool