int main(int argc, char **argv) {
          int intvar;
          intvar = 1;
          if (intvar > 2) goto L_0001;
          intvar = 3;
L_0001:
          return(0);
}
