Function assert_index_le 

pub(crate) fn assert_index_le(index: usize, len: usize)