  TYPE
    nat$create_attributes = ARRAY [ 1 .. * ] of nat$create_attribute,

    nat$create_attribute = record
{
{ The value of the KIND field must be initialized to identify the attribute
{ whose value is being specified.
{
{ The value of any field of type ^SEQ (*) must be initialized to point to a
{ program variable which contains the desired attribute value.
{
      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

