#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, j, k
int I;
int J;
int K;
// 3 i = 3
I = 3;
// 4 j = 5
J = 5;
// 5 k = i + j
K = I + J;
// 6 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}