
  CONST
    jmc$terminate_job = 'JMP$TERMINATE_JOB';
