#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 %integer x
int X;
// 4 %if a + b + c > x %start
if (A + B + C <= X) goto L_0001;
// 5 %stop
_imp_stop(0);
// 6 %finish
L_0001:;
// 7 %endofprogram
_imp_stop(0);
return 0;
end_0:;
}