fn f(v: i32) -> i32 {
  (v + 1) * 2
}