void f(int unusedInHeader) {}