 TYPE
    nat$change_attributes = array [1 .. * ] of
      nat$change_attribute,

    nat$change_attribute = record
{
{ The value of the KIND field must be initialized to identify the attribute
{ whose value is to be changed.
{
{ The value of any field of type ^SEQ (*) must be initialized to point to a
{ program variable which contains the new value of the attribute to be changed.
{
      case kind: nat$connection_attribute_kind of
      = nac$connect_data =
        connect_data: ^SEQ(*),
      = nac$data_transfer_timeout =
        data_transfer_timeout: nat$wait_time,
      = nac$eoi_message =
        eoi_message: nat$eoi_message,
      = nac$eoi_message_enabled =
        eoi_message_enabled: boolean,
      = nac$eoi_peer_termination =
        eoi_peer_termination: boolean,
      = nac$null_attribute =
{ This value indicates that the record is to be ignored. It may be used as a
{ "placeholder" in an array of records.
        ,
      = nac$receive_wait_swapout =
        receive_wait_swapout: boolean,
      = nac$termination_data =
        termination_data: ^SEQ ( * ),
      casend,
    recend;

*copyc nat$connection_attribute_kind
*copyc nat$wait_time
*copyc nat$eoi_message
