 TYPE
    cmt$pp_reservation = record
{     The acquired_pp_identification is initialized by cmp$reserve_element
{     regardless of the value of the selector field.

      acquired_pp_identification {output} : cmt$pp_identification,
      case selector {input} : cmt$pp_reservation_choices of
      = cmc$choose_any_pp =
        ,
      = cmc$choose_pp_by_barrel =
        driver_barrel : boolean,
      = cmc$choose_pp_by_channel =
{      select a PP which has access to the specified channel.}
        channel: cmt$channel_identification,
      = cmc$choose_specific_pp =
        desired_pp: cmt$pp_identification,
      casend,
    recend;

*copyc cmt$channel_identification
*copyc cmt$channel_ordinal
*copyc cmt$pp_identification
*copyc cmt$pp_reservation_choices
