#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-compile-tmp/blocklab.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      2     %integer faults = 42
#line 2 "regression-compile-tmp/blocklab.imp"
int FAULTS;
#line 2 "regression-compile-tmp/blocklab.imp"
FAULTS = 42;
                                                                //      3     %if faults > 0 %start
#line 3 "regression-compile-tmp/blocklab.imp"
if (((FAULTS) <= (0))) goto L_0002;
                                                                //      4        ! Label ID generation messes up due to block structure:
                                                                //      5        %begin
#line 5 "regression-compile-tmp/blocklab.imp"
void _BLOCK_1_LEVEL_1_(void) {
                                                                //      6           printsymbol('s') %if faults > 1
#line 6 "regression-compile-tmp/blocklab.imp"
if (((FAULTS) <= (1))) goto L_0002;
#line 6 "regression-compile-tmp/blocklab.imp"
_imp_PRINTSYMBOL(115);
#line 6 "regression-compile-tmp/blocklab.imp"
L_0002:;
                                                                //      7        %end
#line 7 "regression-compile-tmp/blocklab.imp"
return;
} // End of block _BLOCK_1_LEVEL_1_ at level 2
_BLOCK_1_LEVEL_1_();
                                                                //      8     %finish
#line 8 "regression-compile-tmp/blocklab.imp"
L_0003:;
                                                                //      9  %end %of %program
#line 9 "regression-compile-tmp/blocklab.imp"
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
#line 9 "regression-compile-tmp/blocklab.imp"
// End of file
