 TYPE
    nat$network_layer_address = record
      case kind: nat$network_address_kind of
      = nac$internet_address =
        internet_address: nat$internet_address,
      = nac$osi_network_address =
        device_id: nlt$device_identifier,
        network_address_length: nat$osi_network_address_length,
        network_address: SEQ(REP nac$osi_max_network_address_len OF cell),
      casend,
    recend;

*copyc nat$internet_address
*copyc nat$network_address_kind
*copyc nat$osi_network_address
*copyc nlt$device_identifier
