PROCEDURE [XREF] jmp$process_terminated_job;
