fn usize_to_u64(val: usize) -> u64