michael@0: j = 0;
michael@0: out1:
michael@0: for (i = 0; ; j++)
michael@0:     if (j == 50)
michael@0:         break out1;
michael@0: while (++i < 100) {}
michael@0: 
michael@0: assertEq(j, 50);
michael@0: assertEq(i, 100);