#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2 %integermap fred
int *FRED(void)
{
// 3 %owninteger jim = 1
static int JIM = 1;
// 4 %result == jim
return /*?*/ &JIM;
// 5 %end
} /* end of FRED */
// 6 %if fred = 1 %then %stop
if (*FRED() != 1) goto L_0001;
_imp_stop(0);
L_0001:;
// 7 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}