
  TYPE
    nat$gt_destination_address = record
      case kind: nat$gt_destination_address_kind of
      = xns =
        internet_address: nat$internet_address,
      = osi =
        osi_address: nat$osi_transport_address,
      casend,
    recend,

    nat$gt_destination_address_kind = (xns, osi);

*copyc nat$internet_address
*copyc nat$osi_transport_address
