 TYPE
    nat$network_address = record
      case kind: nat$network_address_kind of
      = nac$internet_address =
        internet_address: nat$internet_address,
      = nac$system_address =
        system_address: nat$system_address,
      = nac$osi_transport_address, nac$osi_non_cdna_transport_addr =
        osi_transport_address: nat$osi_transport_address,
      = nac$osi_session_address, nac$osi_non_cdna_session_addr =
        osi_session_address: nat$osi_session_address,
      = nac$osi_presentation_address, nac$osi_non_cdna_present_addr =
        osi_presentation_address: nat$osi_presentation_address,
      casend,
    recend;

*copyc nat$network_address_kind
*copyc nat$internet_address
*copyc nat$osi_address_length
*copyc nat$osi_presentation_address
*copyc nat$osi_session_address
*copyc nat$osi_transport_address
*copyc nat$system_address

