#include <perms.h>

                                                                //      1  ! Test with: ./i2c --stdout --tidy test/cprio-failure2.imp
                                                                //      2  ! Minimal example extracted from "goodbye.imp":
                                                                //      3  !      ./i2c --stdout --tidy goodbye.imp|fgrep 7|fgrep DECL|fgrep 15
                                                                //      4  
                                                                //      5  %begin
#line 5 "regression-bugs-tmp/cprio-failure2.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      6    %owninteger decl = 0
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/cprio-failure2.imp";
#line 6 "regression-bugs-tmp/cprio-failure2.imp"
static int DECL = 0;
                                                                //      7  
                                                                //      8    %if 7 <= decl&15 %start
_imp_current_line = 8; _imp_current_file = "regression-bugs-tmp/cprio-failure2.imp";
#line 8 "regression-bugs-tmp/cprio-failure2.imp"
if (((7) > (((DECL) & (15))))) goto L_0002;
                                                                //      9    %finish
_imp_current_line = 9; _imp_current_file = "regression-bugs-tmp/cprio-failure2.imp";
#line 9 "regression-bugs-tmp/cprio-failure2.imp"
L_0002:;
                                                                //     10    
                                                                //     11  %endofprogram
_imp_current_line = 11; _imp_current_file = "regression-bugs-tmp/cprio-failure2.imp";
#line 11 "regression-bugs-tmp/cprio-failure2.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 11 "regression-bugs-tmp/cprio-failure2.imp"
// End of file
