#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/dscond3.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2  
                                                                //      3    %integer a, b, c, d, e
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/dscond3.imp";
#line 3 "regression-bugs-tmp/dscond3.imp"
int A;
#line 3 "regression-bugs-tmp/dscond3.imp"
int B;
#line 3 "regression-bugs-tmp/dscond3.imp"
int C;
#line 3 "regression-bugs-tmp/dscond3.imp"
int D;
#line 3 "regression-bugs-tmp/dscond3.imp"
int E;
                                                                //      4      
                                                                //      5    %if a <= b < c %and d > e # c %start
_imp_current_line = 5; _imp_current_file = "regression-bugs-tmp/dscond3.imp";
#line 5 "regression-bugs-tmp/dscond3.imp"
if ((((A) > (B))) || (((B) >= (C)))) goto L_0002;
#line 5 "regression-bugs-tmp/dscond3.imp"
if ((((D) <= (E))) || (((E) == (C)))) goto L_0002;
                                                                //      6  
                                                                //      7    %finish
_imp_current_line = 7; _imp_current_file = "regression-bugs-tmp/dscond3.imp";
#line 7 "regression-bugs-tmp/dscond3.imp"
L_0002:;
                                                                //      8  
                                                                //      9  %endofprogram
_imp_current_line = 9; _imp_current_file = "regression-bugs-tmp/dscond3.imp";
#line 9 "regression-bugs-tmp/dscond3.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 9 "regression-bugs-tmp/dscond3.imp"
// End of file