#include <perms.h>
// Edinburgh IMP77 Compiler - Version 8.4
//
// 1 %begin
int main(int argc, char **argv) { /*%begin*/
_imp_initialise(argc, argv);
// 2 %integer a, b, c
int A;
int B;
int C;
// 3 %if a = b = c %start
{
// Double-sided test on B (Part I)
int tmp;
if (A != (tmp = B)) goto L_0001;
// Double-sided test on B (Part II)
if (tmp != C) goto L_0001;
}
// 4 %stop
_imp_stop(0);
// 5 %finish
L_0001:;
// 6 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}