pub fn into_u64_range(range: Range<usize>) -> Range<u64>