#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-bugs-tmp/recfieldarr.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2    %recordformat fm (%byteintegerarray ra(-10:3), %integer x)
_imp_current_line = 2; _imp_current_file = "regression-bugs-tmp/recfieldarr.imp";
#line 2 "regression-bugs-tmp/recfieldarr.imp"
typedef struct FM FM;
struct FM {
  unsigned char RA[14];
  int X;
};
                                                                //      3    %record (fm) jim
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/recfieldarr.imp";
#line 3 "regression-bugs-tmp/recfieldarr.imp"
 FM JIM;
                                                                //      4    %integer fred
_imp_current_line = 4; _imp_current_file = "regression-bugs-tmp/recfieldarr.imp";
#line 4 "regression-bugs-tmp/recfieldarr.imp"
int FRED;
                                                                //      5    fred = jim_ra(3)
_imp_current_line = 5; _imp_current_file = "regression-bugs-tmp/recfieldarr.imp";
#line 5 "regression-bugs-tmp/recfieldarr.imp"
FRED = JIM.RA[13];
                                                                //      6  %endofprogram
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/recfieldarr.imp";
#line 6 "regression-bugs-tmp/recfieldarr.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 6 "regression-bugs-tmp/recfieldarr.imp"
// End of file