#ifndef NO_LABEL_VALUES
extern int printk(const char *fmt, ...);

void foo (int x, int y)
{
  __label__ here;
  here:
  printk ("", &&here);
}

#else
int x;
#endif