pub fn f_double(x: u64) -> u64 {
  2 * x
}