#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/reallits.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      2    %real k
#line 2 "regression-bugs-tmp/reallits.imp"
float K;
                                                                //      3    k = 1@10
#line 3 "regression-bugs-tmp/reallits.imp"
K = 1E10;
                                                                //      4    k = 1@1
#line 4 "regression-bugs-tmp/reallits.imp"
K = 1E1;
                                                                //      5    k = 1
#line 5 "regression-bugs-tmp/reallits.imp"
K = 1;
                                                                //      6    k = 0.1
#line 6 "regression-bugs-tmp/reallits.imp"
K = 0.1;
                                                                //      7    k = 1@-10
#line 7 "regression-bugs-tmp/reallits.imp"
K = 1E-10;
                                                                //      8    k = 1@-100
#line 8 "regression-bugs-tmp/reallits.imp"
K = 1E-100;
                                                                //      9  %endofprogram
#line 9 "regression-bugs-tmp/reallits.imp"
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
#line 9 "regression-bugs-tmp/reallits.imp"
// End of file
