  TYPE
    nat$monitor_request_block = packed record
      request_code: ALIGNED [0 MOD 8] syt$monitor_request_code,
      status: syt$monitor_status,
      CASE sub_request_code: nat$monitor_request_code OF
        = nac$lock_and_queue_io_request =
          io_request: ^iot$io_request,
          response_processor: iot$response_processor,
          address: ^cell,
          length: 0 .. 0ffff(16),
        = nac$unlock_rma_list =
          rma_list: ^nat$rma_list,
      CASEND,
      recend,

    nat$monitor_request_code = (nac$lock_and_queue_io_request, nac$unlock_rma_list);

*copyc iot$io_request
*copyc nat$request_block_list
*copyc syc$monitor_request_codes
*copyc syt$monitor_status
