#include <perms.h>

                                                                //      1  ! ./i2c --no-perms --icode --stdout test/recarrfield.imp
                                                                //      2  %begin
#line 2 "regression-bugs-tmp/recarrfield.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      3    %recordformat fm(%integerarray i(4:9))
#line 3 "regression-bugs-tmp/recarrfield.imp"
typedef struct FM FM;
struct FM {
  int I[6];
};
                                                                //      4    %record (fm) rec
#line 4 "regression-bugs-tmp/recarrfield.imp"
 FM REC;
                                                                //      5    %record (fm) %name p
#line 5 "regression-bugs-tmp/recarrfield.imp"
 FM /*name*/*P;
                                                                //      6  
                                                                //      7    p == rec
#line 7 "regression-bugs-tmp/recarrfield.imp"
P = &REC;
                                                                //      8  
                                                                //      9    p_i(5) = 6
#line 9 "regression-bugs-tmp/recarrfield.imp"
P->I[1] = 6;
                                                                //     10  
                                                                //     11  %endofprogram
#line 11 "regression-bugs-tmp/recarrfield.imp"
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
#line 11 "regression-bugs-tmp/recarrfield.imp"
// End of file
