pub fn f_double(x: u64) -> u64