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