void foo (int v);