1int f_replaced(int x, int y);
2int f_replacement(int x, int y);
3
4int cnt;
5
6extern "C" void *wrapper(void *p) {
7  ++cnt;
8  if (p == (void *)f_replaced)
9    return (void *)f_replacement;
10  return p;
11}
12