00001: #include <stdio.h>
00002: #include <stdlib.h>
00003: 
00004: int main (int argc, char *argv[])
00005: {
00006:   int x;
00007:   
00008:   x = 3;
00009:   goto l2;
00010:  l1:
00011:   printf ("%d\n", x);
00012:   x = x - 1;
00013:  l2:
00014:   if (0 <= x) goto l1;
00015:   
00016:   return 0;
00017: }
00018: