int main(int argc, char **argv) {
          int intvar;
          intvar = 1;
          for (;;) {
L_0001:
          if (intvar >= 10) goto L_0002;
          intvar = (intvar + 1);
          }
L_0002:
          return(0);
}