pub fn rand_u64() -> u64