#include <perms.h>

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

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

  //     2    open output(1, "test.zzz")

  _imp_OPENOUTPUT(1, _imp_str_literal("test.zzz"));

  //     3    select output(1)

  _imp_SELECTOUTPUT(1);

  //     4    printstring("Hello World"); newline

  _imp_PRINTSTRING(_imp_str_literal("Hello World"));
  _imp_NEWLINE();

  //     5  %endofprogram

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