
  TYPE
    nat$sk_socket_option = record
      CASE option_kind: nat$sk_socket_option_kind OF
      = nac$sk_null_opt =
         ,
      = nac$sk_interface_mode_opt =
        interface_mode: nat$sk_interface_mode,
      = nac$sk_interface_timeout_opt =
        interface_timeout: nat$wait_time,
      = nac$sk_checksum_opt =                       {UDP socket}
        checksum: boolean,
      = nac$sk_traffic_pattern_opt =
        traffic_pattern: nat$sk_traffic_pattern,
      = nac$sk_graceful_close_opt =                 {TCP socket}
        graceful_close: boolean,
      = nac$sk_selection_criteria_opt =             {TCP socket}
        port: nat$sk_port_number,
        ip_address: nat$sk_ip_address,
      = nac$sk_local_addr_enabled_opt =             {UDP socket}
        local_ip_address_enabled: boolean,
      = nac$sk_user_cache_enabled_opt =             {UDP socket}
        user_cache_enabled: boolean,
      = nac$sk_reuse_address_opt =
        reuse_address: boolean,                     {TCP socket}
      = nac$sk_broadcast_enabled_opt =              {UDP socket}
        broadcast_enabled: boolean,
      CASEND,
    recend;

*copyc nat$sk_interface_mode
*copyc nat$sk_ip_address
*copyc nat$sk_port_number
*copyc nat$sk_socket_option_kind
*copyc nat$sk_traffic_pattern
*copyc nat$wait_time
