
  TYPE
    tmt$rb_ready_task_list = record
      reqcode: ALIGNED [0 MOD 8] syt$monitor_request_code,
      status: syt$monitor_status,
      highest_index: integer,
      taskid_list_p: ^pmt$ready_task_list,
      taskid_response_list_p: ^pmt$ready_task_response_list,
      bad_task_id_found: boolean,
      bad_task_id_index: ost$task_index,
    recend;

*copyc ost$global_task_id
*copyc pmt$ready_task_list
*copyc syc$monitor_request_codes
*copyc syt$monitor_request_code
