
  TYPE
    nlt$sk_offered_socket = record
      next_entry: ^nlt$sk_offered_socket,
      socket_id: nat$sk_socket_identifier,
      status: nlt$sk_offered_socket_status,
      source_job: jmt$system_supplied_name,
      destination_job: jmt$system_supplied_name,
      port: nat$sk_port_number,
      bound_address: nat$sk_ip_address,
      application: nat$application_name,
      ring: ost$ring,
      capability: ost$name,
      system_privilege: boolean,
      traffic_pattern: nat$sk_traffic_pattern,
      waiting_task: ost$global_task_id,
      CASE socket_type: nat$sk_socket_type OF
      = nac$sk_udp_socket =
        global_socket_id: nlt$udp_global_socket_id,
      = nac$sk_tcp_socket =
        connection_id: nat$connection_id,
        tcp_socket_type: nlt$tcp_socket_type,
      CASEND,
    recend;

*copyc jmt$system_supplied_name
*copyc nat$application_name
*copyc nat$connection_id
*copyc nat$sk_ip_address
*copyc nlt$sk_offered_socket_status
*copyc nat$sk_port_number
*copyc nat$sk_socket_identifier
*copyc nat$sk_socket_type
*copyc nat$sk_traffic_pattern
*copyc nlt$tcp_socket_type
*copyc nlt$udp_global_socket_id
*copyc osd$virtual_address
*copyc ost$global_task_id
*copyc ost$name
