#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/nestrec2.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2  
                                                                //      3    %recordformat simple(%record (simple) %name next, %integer i)
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 3 "regression-bugs-tmp/nestrec2.imp"
typedef struct SIMPLE SIMPLE;
struct SIMPLE {
   SIMPLE /*name*/*NEXT;
  int I;
};
                                                                //      4  
                                                                //      5    %integer n
_imp_current_line = 5; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 5 "regression-bugs-tmp/nestrec2.imp"
int N;
                                                                //      6    %record (simple) r
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 6 "regression-bugs-tmp/nestrec2.imp"
 SIMPLE R;
                                                                //      7    
                                                                //      8    n = r_i
_imp_current_line = 8; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 8 "regression-bugs-tmp/nestrec2.imp"
N = R.I;
                                                                //      9    n = r_next_i
_imp_current_line = 9; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 9 "regression-bugs-tmp/nestrec2.imp"
N = R.NEXT->I;
                                                                //     10    n = r_next_next_i
_imp_current_line = 10; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 10 "regression-bugs-tmp/nestrec2.imp"
N = R.NEXT->NEXT->I;
                                                                //     11  
                                                                //     12  %endofprogram
_imp_current_line = 12; _imp_current_file = "regression-bugs-tmp/nestrec2.imp";
#line 12 "regression-bugs-tmp/nestrec2.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 12 "regression-bugs-tmp/nestrec2.imp"
// End of file