#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2 %owninteger a, b = 42
static int A;
static int B = 42;
// 3 write(a, -1)
_imp_WRITE(A, -1);
// 4 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}