  TYPE
    cmt$element_reservation = record
      case element_type: cmt$element_type of
      = cmc$central_processor_element =
        name: cmt$element_name,
      = cmc$data_channel_element =
        channel_descriptor: cmt$channel_descriptor,
      = cmc$channel_adapter_element, cmc$communications_element,
            cmc$controller_element, cmc$external_processor_element,
            cmc$storage_device_element =
        peripheral_descriptor: cmt$peripheral_descriptor,
      = cmc$pp_element =
        pp_reservation: {input, output} cmt$pp_reservation,
{   Reservations of the following elements are not supported:}
      = cmc$mainframe_element, cmc$central_memory_element, cmc$iou_element,
            cmc$pem_element =
        ,
      casend,
    recend;

*copyc cmt$channel_descriptor
*copyc cmt$peripheral_descriptor
*copyc cmt$element_name
*copyc cmt$element_type
*copyc cmt$pp_reservation
