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