#include <perms.h>

                                                                //      1  ! ./i2c --stdout --no-line --icode test/ownreal.imp
                                                                //      2  %begin
#line 2 "regression-bugs-tmp/ownreal.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      3    %ownreal r1
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/ownreal.imp";
#line 3 "regression-bugs-tmp/ownreal.imp"
static float R1;
                                                                //      4    %ownreal r2
_imp_current_line = 4; _imp_current_file = "regression-bugs-tmp/ownreal.imp";
#line 4 "regression-bugs-tmp/ownreal.imp"
static float R2;
                                                                //      5    r1= 1.2595802263029547 @  1
_imp_current_line = 5; _imp_current_file = "regression-bugs-tmp/ownreal.imp";
#line 5 "regression-bugs-tmp/ownreal.imp"
R1 = 1.2595802263029547E1;
                                                                //      6    r2=-8.6186317517509520 @  1
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/ownreal.imp";
#line 6 "regression-bugs-tmp/ownreal.imp"
R2 = (-8.6186317517509520E1);
                                                                //      7  %endofprogram
_imp_current_line = 7; _imp_current_file = "regression-bugs-tmp/ownreal.imp";
#line 7 "regression-bugs-tmp/ownreal.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 7 "regression-bugs-tmp/ownreal.imp"
// End of file