  TYPE
    nft$connection_address = record
      case kind: nat$network_address_kind of
      = nac$internet_address =
        internet_address: nat$internet_address,
      = nac$osi_transport_address =
        network_address_length: nat$osi_network_address_length,
        network_address: SEQ (REP nac$osi_max_network_address_len OF cell),
      casend,
    recend;

*copyc nat$network_address
