
  PROCEDURE [XREF] rap$get_console_task_status
    (VAR task_restarted: boolean);
