#include <perms.h>

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

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

  //     2    %on %event 3 %start

  if (!_imp_on_event(3)) goto L_0001;

    //     3      %monitor

    /*_imp_monitor(__LINE__, __FILE__, PRETTY_FUNCTION);*/

    //     4    %finish

L_0001:;

//     5    %stop

  _imp_stop(0);

  //     6  %endofprogram

end_0:;
}