int main(int argc, char **argv) {
          int i;
          // bounds [97 : 100]
          /*todo: gcc jump table extension*/ void **lab;
          i = 98;
          goto *lab[i];
lab_97:
lab_99:
lab_100:
          exit(0);
lab_98:
//           EVENT 0x000f
          return(0);
}