#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/labtest.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      2  
                                                                //      3  %label bert
#line 3 "regression-bugs-tmp/labtest.imp"
                                                                //      4  
                                                                //      5  -> ian
#line 5 "regression-bugs-tmp/labtest.imp"
goto U_1001;
                                                                //      6  -> bert
#line 6 "regression-bugs-tmp/labtest.imp"
goto U_1000;
                                                                //      7  
                                                                //      8  fred:
#line 8 "regression-bugs-tmp/labtest.imp"
U_1002:;
                                                                //      9  
                                                                //     10    %begin
#line 10 "regression-bugs-tmp/labtest.imp"
void _BLOCK_1_LEVEL_1_(void) {
                                                                //     11      %label sheila
#line 11 "regression-bugs-tmp/labtest.imp"
__label__ U_1003;
                                                                //     12      
                                                                //     13      ->sheila
#line 13 "regression-bugs-tmp/labtest.imp"
goto U_1003;
                                                                //     14      jim:            ! ICODE uses U_0077 for this label
#line 14 "regression-bugs-tmp/labtest.imp"
U_1004:;
                                                                //     15      
                                                                //     16      sheila:
#line 16 "regression-bugs-tmp/labtest.imp"
U_1003:;
                                                                //     17    %end
#line 17 "regression-bugs-tmp/labtest.imp"
return;
} // End of block _BLOCK_1_LEVEL_1_ at level 2
_BLOCK_1_LEVEL_1_();
                                                                //     18  
                                                                //     19  ian:
#line 19 "regression-bugs-tmp/labtest.imp"
U_1001:;
                                                                //     20  
                                                                //     21  bert:
#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.
#line 23 "regression-bugs-tmp/labtest.imp"
U_1003:;
                                                                //     24  
                                                                //     25  %endofprogram
#line 25 "regression-bugs-tmp/labtest.imp"
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
#line 25 "regression-bugs-tmp/labtest.imp"
// End of file