#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2 %integer i,k
int I;
int K;
// 3
// 4 ! works OK for 0:1 but not 0:2 or higher
// 5 %ownintegerarray a(0:2)=0,1,2
static int A[3] = {0, 1, 2};
// 6
// 7 ! fails on this:
// 8 i = a(k)
I = A[K];
// 9
// 10 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}