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