#include <perms.h>

                                                                //      1  ! convert with ./i2c -v -d -O --no-perms --icode test/1Darray.imp
                                                                //      2  %begin
#line 2 "regression-bugs-tmp/1Darray.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      3    %ownintegerarray oned(0:1)
_imp_current_line = 3; _imp_current_file = "regression-bugs-tmp/1Darray.imp";
#line 3 "regression-bugs-tmp/1Darray.imp"
static int ONED[2];
                                                                //      4    %integer i
_imp_current_line = 4; _imp_current_file = "regression-bugs-tmp/1Darray.imp";
#line 4 "regression-bugs-tmp/1Darray.imp"
int I;
                                                                //      5  
                                                                //      6    %integer x
_imp_current_line = 6; _imp_current_file = "regression-bugs-tmp/1Darray.imp";
#line 6 "regression-bugs-tmp/1Darray.imp"
int X;
                                                                //      7  
                                                                //      8    x = oned(I)
_imp_current_line = 8; _imp_current_file = "regression-bugs-tmp/1Darray.imp";
#line 8 "regression-bugs-tmp/1Darray.imp"
X = ONED[I];
                                                                //      9  
                                                                //     10  %endofprogram
_imp_current_line = 10; _imp_current_file = "regression-bugs-tmp/1Darray.imp";
#line 10 "regression-bugs-tmp/1Darray.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 10 "regression-bugs-tmp/1Darray.imp"
// End of file