#include <perms.h>

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

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

  //     2    print string("Command line: ")

  _imp_PRINTSTRING(_imp_str_literal("Command line: "));

  //     3    print string(cli param)

  _imp_PRINTSTRING(
      *({
        __typeof__(_imp_string255) tmp = _imp_CLIPARAM() /*q*/;
        (_imp_string255 *)&tmp;
      })
  );

  //     4    newline

  _imp_NEWLINE();

  //     5  %endofprogram

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