#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %BEGIN

int main(int argc, char **argv) { /*%begin*/
  _imp_initialise(argc, argv);

  //     2    %INTEGER K

  int K;

  //     3    K = 1

  K = 1;

  //     4    %IF K\=0 %THEN %START

  if (K == 0) goto L_0001;

    //     5      %STOP

  _imp_stop(0);

  //     6    %FINISH

L_0001:;

//     7  %ENDOFPROGRAM

  _imp_stop(0);
  return 0;
end_0:;
}