#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/broken.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2    %SWITCH FPD(0:3)
_imp_current_line = 2; _imp_current_file = "regression-bugs-tmp/broken.imp";
#line 2 "regression-bugs-tmp/broken.imp"
static int sw1_FPD_idx;
static const void * /*SWITCH*/ sw1_FPD[4] = { &&sw1_FPD_0, &&sw1_FPD_1, &&sw1_FPD_2, &&sw1_FPD_3,  };
                                                                //      3    %integer i
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/broken.imp";
#line 3 "regression-bugs-tmp/broken.imp"
int I;
                                                                //      4  %endofprogram
_imp_current_line = 4; _imp_current_file = "regression-bugs-tmp/broken.imp";
#line 4 "regression-bugs-tmp/broken.imp"
return 0;
sw1_FPD_0:;
sw1_FPD_1:;
sw1_FPD_2:;
sw1_FPD_3:;
/*_imp_signal(6,3,sw1_FPD_idx,"SWITCH LABEL NOT SET - sw1_FPD");*/
fprintf(stderr, "%%SWITCH LABEL NOT SET - sw1_FPD(%d): at line %s:%d", sw1_FPD_idx, (_imp_current_file != 0 ? _imp_current_file : __FILE__), (_imp_current_line != 0 ? _imp_current_line : __LINE__));
exit(1);
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 4 "regression-bugs-tmp/broken.imp"
// End of file