Function circular_backward_index 

pub fn circular_backward_index(index: u64, offset: u64, n: u64) -> u64