1#ifndef NO_LABEL_VALUES
2extern int printk(const char *fmt, ...);
3
4void foo (int x, int y)
5{
6  __label__ here;
7  here:
8  printk ("", &&here);
9}
10
11#else
12int x;
13#endif
14