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