#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2 %integermap wurd(%integer ad)
int *WURD(int AD)
{
// 3 %result == integer(ad)
return _imp_INTEGER(AD);
// 4 %end
} /* end of WURD */
// 5 %integername i,j
int *I;
int *J;
// 6 i == integer(16_8000)
I = (int *)_imp_INTEGER(32768);
// 7 j == wurd(16_8000)
J = (int *)WURD(32768);
// 8 i=1
*I = 1;
// 9 j=1
*J = 1;
// 10 fred:
U_1000:;
// 11 i == integer(16_8001)
I = (int *)_imp_INTEGER(32769);
// 12 j == integer(16_8001)
J = (int *)_imp_INTEGER(32769);
// 13 i=1
*I = 1;
// 14 j=1
*J = 1;
// 15 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}