int foo(int v) { return 2*v; }