bar(int k)1 void bar (int k)
2 {
3   void *label = (k) ? &&x : &&y;
4   if (k)
5     goto *label;
6 
7 x:
8   if (k)
9     dont_remove ();
10 y:
11   return;
12 }
13