int main(int argc, char **argv) {
          // bounds [0 : 5]
          /*todo: gcc jump table extension*/ void **swlab;
          int i;
          goto *swlab[i];
swlab_4:
          return(0);
}