#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/labtest.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2  
                                                                //      3  %label bert
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 3 "regression-bugs-tmp/labtest.imp"
                                                                //      4  
                                                                //      5  -> ian
_imp_current_line = 5; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 5 "regression-bugs-tmp/labtest.imp"
goto U_1001;
                                                                //      6  -> bert
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 6 "regression-bugs-tmp/labtest.imp"
goto U_1000;
                                                                //      7  
                                                                //      8  fred:
_imp_current_line = 8; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 8 "regression-bugs-tmp/labtest.imp"
U_1002:;
                                                                //      9  
                                                                //     10    %begin
_imp_current_line = 10; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 10 "regression-bugs-tmp/labtest.imp"
void _BLOCK_1_LEVEL_1_(void) {
  __label__ _imp_endofblock;
                                                                //     11      %label sheila
#line 11 "regression-bugs-tmp/labtest.imp"
__label__ U_1003;
                                                                //     12      
                                                                //     13      ->sheila
_imp_current_line = 13; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 13 "regression-bugs-tmp/labtest.imp"
goto U_1003;
                                                                //     14      jim:            ! ICODE uses U_0077 for this label
_imp_current_line = 14; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 14 "regression-bugs-tmp/labtest.imp"
U_1004:;
                                                                //     15      
                                                                //     16      sheila:
_imp_current_line = 16; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 16 "regression-bugs-tmp/labtest.imp"
U_1003:;
                                                                //     17    %end
_imp_current_line = 17; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 17 "regression-bugs-tmp/labtest.imp"
goto _imp_endofblock;
_imp_endofblock: ;
} // End of block _BLOCK_1_LEVEL_1_ at level 2
_BLOCK_1_LEVEL_1_();
                                                                //     18  
                                                                //     19  ian:
_imp_current_line = 19; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 19 "regression-bugs-tmp/labtest.imp"
U_1001:;
                                                                //     20  
                                                                //     21  bert:
_imp_current_line = 21; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 21 "regression-bugs-tmp/labtest.imp"
U_1000:;
                                                                //     22  
                                                                //     23  walter:             ! and the ICODE reuses U_0077 for *this* label!  Not sure how to know a label's scope has ended.
_imp_current_line = 23; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 23 "regression-bugs-tmp/labtest.imp"
U_1003:;
                                                                //     24  
                                                                //     25  %endofprogram
_imp_current_line = 25; _imp_current_file = "regression-bugs-tmp/labtest.imp";
#line 25 "regression-bugs-tmp/labtest.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 25 "regression-bugs-tmp/labtest.imp"
// End of file
