
   PROCEDURE[xref] jmp$delete_task_private
                 (xcb_p: ^ost$execution_control_block;
                 VAR status: ost$status);
