Feature request: First class labels

[Luís Marques]

BCS wrote:
> // no tests in loop.
> |void* l1 = complex_loop_invariant ? &&a : &&b;
> |void* l2 = complex_loop_invariant2 ? &&c : &&d;
> |
> |for(int i = 1; i<1000000; i++)
> |{
> | goto *l1
> | a:  nothing();
> |     goto l2:
> | b:  that()
> |     goto l2:
> | c:  other();
> |     break;
> | d:  bat();
> |}

I hope people don't use that except in critical inner-loops or 
encapsulated in some form :-)

--
Luís