#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,i2
int I;
int I2;
// 3
// 4 %integermap im
int *IM(void)
{
// 5 %result == i2
return /*?*/ &I2;
// 6 %end
} /* end of IM */
// 7
// 8 i = im
I = *IM();
// 9 %comment i = im(1) ... should be i = *im()
// 10
// 11 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}