int main(int argc, char **argv) {
          int fred ;
          int jim ;
          int i ;
U_0004:
          jim  = 1;
          if (jim  != 1) goto L_0001;
          goto U_0004 /* JUMP (user label) */;
L_0001:
          jim  = 2;
          if (jim  != 2) goto L_0002;
          goto U_0005 /* JUMP (user label) */;
L_0002:
          for (fred  = 1; fred  += 10; fred  != jim ) {
          if (i  != 55) goto L_0007;
          goto L_0008; /* forward or backward? - need to know! */
;
L_0007:
          if (i  != 99) goto L_0009;
          goto L_000a; /* forward or backward? - need to know! */
;
L_0009:
          i  = (i  + 1);
L_0008:
L_0005: /* continue address if it was a for loop, otherwise a bug to be fixed! */
          } /* end loop */
L_0006: /* generated exit label */
L_000a:
/*BUG word=3*/L_0000:
          if (fred  >= jim ) goto L_000b;
          if (i  != 55) goto L_000c;
          goto L_000d; /* forward or backward? - need to know! */
;
L_000c:
          if (i  != 99) goto L_000e;
          goto L_000f; /* forward or backward? - need to know! */
;
L_000e:
          i  = (i  + 1);
L_000d:
L_0000: /* continue address if it was a for loop, otherwise a bug to be fixed! */
          } /* end loop */
L_0001: /* generated exit label */
L_000f:
/*BUG word=3*/L_0000:
          if (i  != 55) goto L_0010;
          goto L_0011; /* forward or backward? - need to know! */
;
L_0010:
          if (i  != 99) goto L_0012;
          goto L_0013; /* forward or backward? - need to know! */
;
L_0012:
          i  = (i  + 1);
L_0011:
          if (fred  == jim ) goto L_0014;
L_0000: /* continue address if it was a for loop, otherwise a bug to be fixed! */
          } /* end loop */
L_0001: /* generated exit label */
L_0014:
/*BUG word=3*/L_0000:
          if (i  != 55) goto L_0015;
          goto L_0016; /* forward or backward? - need to know! */
;
L_0015:
          if (i  != 99) goto L_0017;
          goto L_0018; /* forward or backward? - need to know! */
;
L_0017:
          i  = (i  + 1);
L_0016:
L_0000: /* continue address if it was a for loop, otherwise a bug to be fixed! */
          } /* end loop */
L_0001: /* generated exit label */
L_0018:
U_0005:
          return(0);
}