
  PROCEDURE [XREF] jmp$set_job_history_state
    (    state: boolean);
