#include <perms.h>

                                                                //      1  ! ./i2c --icode --stdout --no-line --no-perms test/swdecs.imp|&more
                                                                //      2  
                                                                //      3  %begin
#line 3 "regression-bugs-tmp/swdecs.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      4  
                                                                //      5    %SWITCH S,SW(1:4)
#line 5 "regression-bugs-tmp/swdecs.imp"
static int sw1_S_idx;
static const void * /*SWITCH*/ sw1_S[4] = { &&sw1_S_1, &&sw1_S_2, &&sw1_S_3, &&sw1_S_4,  };
#line 5 "regression-bugs-tmp/swdecs.imp"
static int sw2_SW_idx;
static const void * /*SWITCH*/ sw2_SW[4] = { &&sw2_SW_1, &&sw2_SW_2, &&sw2_SW_3, &&sw2_SW_4,  };
                                                                //      6  
                                                                //      7    -> S(2)
#line 7 "regression-bugs-tmp/swdecs.imp"
sw1_S_idx = 2; goto *(sw1_S-1)[sw1_S_idx];  /* Bounds=1:4 */ 
                                                                //      8  
                                                                //      9  S(2):
#line 9 "regression-bugs-tmp/swdecs.imp"
sw1_S_2:;
                                                                //     10  S(*):
#line 10 "regression-bugs-tmp/swdecs.imp"
sw1_S_default:;
                                                                //     11  SW(*):
#line 11 "regression-bugs-tmp/swdecs.imp"
sw2_SW_default:;
                                                                //     12  
                                                                //     13  %endofprogram
#line 13 "regression-bugs-tmp/swdecs.imp"
/* Remove %on %event handler here if present for this block */
return 0;
sw2_SW_1:;
sw2_SW_2:;
sw2_SW_3:;
sw2_SW_4:;
goto sw2_SW_default;
sw1_S_1:;
sw1_S_3:;
sw1_S_4:;
goto sw1_S_default;
} // End of block _imp_main at level 1
#line 13 "regression-bugs-tmp/swdecs.imp"
// End of file
