
  TYPE
    dst$channel_state = RECORD
      channel: dst$iou_resource,
      element_state: cmt$element_state,
    RECEND,

    dst$entire_channel_state_list = ARRAY [dst$iou_number] OF ARRAY [dst$channel_protocol_type] OF
          ARRAY [dst$physical_resource_number] OF cmt$element_state,

    dst$partial_channel_state_list = ARRAY [1 .. *] OF dst$channel_state;

?? PUSH (LISTEXT := ON) ??
*copyc cmt$element_state
*copyc dst$iou_resource
?? POP ??
