#include <perms.h>

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