static int f(int n)
{
        __label__ n;
n:      return n;
}
static int g(int n)
{
n:      return n;
}
/*
 * check-name: __label__ scope
 */