
  CONST
    jmc$print_file = 'JMP$PRINT_FILE';
