
  TYPE
    nat$sk_socket_attribute = record
      CASE attribute_kind: nat$sk_socket_attribute_kind OF
      = nac$sk_interface_mode_attr =
        interface_mode: nat$sk_interface_mode,
      = nac$sk_interface_timeout_attr =
        interface_timeout: nat$wait_time,
      = nac$sk_checksum_attr =                       {UDP socket}
        checksum: boolean,
      = nac$sk_traffic_pattern_attr =
        traffic_pattern: nat$sk_traffic_pattern,
      = nac$sk_graceful_close_attr =                 {UDP socket}
        graceful_close: boolean,
      = nac$sk_selection_criteria_attr =             {TCP socket}
        port: nat$sk_port_number,
        ip_address: nat$sk_ip_address,
      = nac$sk_local_addr_enabled_attr =             {UDP socket}
        local_ip_address_enabled: boolean,
      = nac$sk_user_cache_enabled_attr =             {UDP socket}
        user_cache_enabled: boolean,
      = nac$sk_reuse_address_attr =                  {TCP socket}
        reuse_address: boolean,
      = nac$sk_local_address_attr =
        address_count: 0 .. 0ff(16),
        local_port: nat$sk_port_number,
        local_addresses: ^array [1..*] of nat$sk_ip_address,
      = nac$sk_broadcast_enabled_attr =              {UDP socket}
        broadcast_enabled: boolean,
      = nac$sk_optimum_xfer_size_attr =              {TCP socket}
        optimum_transfer_size: nat$data_length,
      CASEND,
    recend;

*copyc nat$data_length
*copyc nat$sk_interface_mode
*copyc nat$sk_ip_address
*copyc nat$sk_port_number
*copyc nat$sk_socket_attribute_kind
*copyc nat$sk_traffic_pattern
*copyc nat$wait_time
