PROCEDURE [XREF] jmp$process_terminal_wait(wait_estimate: INTEGER);
