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