#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2
// 3 %integer X
int X;
// 4 %integername XP
int *XP;
// 5
// 6 %integermap test(%integer a,b, %integername c)
int *TEST(int A, int B, int *C) {
// 7 %owninteger Q = 0
static int Q = 0;
// 8 %result == Q
return /*?*/ &Q;
// 9 %end
} /* end of TEST */
// ?C unused
// ?B unused
// ?A unused
// 10
// 11 X = test(X,XP,XP)
X = *TEST(X, *XP, XP);
// 12
// 13 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}