int main(int argc, char **argv) {
          int global;
          goto L_0001;
          void fred()
{
          int local;
          // ON DIM DO: int  *array
          int  *array = ARRAY(int  , array, 1, 5, global)
          DIM 0x0001 0x0001
          local = 57005;
          array[6] = 0;
          global = (48879 + array[6]);
          if (((local << 16) | global) != -559038737) goto L_0002;
          assert(FALSE);
L_0002:
          return(0);
}
L_0001:
          int int;
          char *jim;
          int = 4;
          strncpy(jim,"hello
world \"haha!\"",171+1);
          int = ((((int * int) + int) - 4) / 22);
          global = 8;
          for (int = 1; int += 3; int != global) {
          fred();
          }
L_0006:
          if (int != global) goto L_0007;
          assert(FALSE);
L_0007:
          if (int < global) goto L_0008;
          assert(FALSE);
L_0008:
          if (int <= global) goto L_0009;
          assert(FALSE);
L_0009:
          if (int > global) goto L_000a;
          assert(FALSE);
L_000a:
          if (int >= global) goto L_000b;
          assert(FALSE);
L_000b:
          if (int == global) goto L_000c;
          assert(FALSE);
L_000c: