    deferred class
    	NETWORK_SERVER

    General
    	cluster: network
    	description: "A server for a network socket."

    Ancestors
    	SERVER*

    Queries
    	address_in_use: BOOLEAN
    	address_not_readable: BOOLEAN
    	already_bound: BOOLEAN
    	bad_socket_handle: BOOLEAN
    	c_msgdontroute: INTEGER_32
    	c_oobmsg: INTEGER_32
    	c_peekmsg: INTEGER_32
    	connect_in_progress: BOOLEAN
    	connection_refused: BOOLEAN
    	dtable_full: BOOLEAN
    	error: STRING_8
    	error_number: INTEGER_32
    	expired_socket: BOOLEAN
    	in: NETWORK_STREAM_SOCKET
    	invalid_address: BOOLEAN
    	invalid_socket_handle: BOOLEAN
    	network: BOOLEAN
    	no_buffers: BOOLEAN
    	no_permission: BOOLEAN
    	not_connected: BOOLEAN
    	outflow: [like in] NETWORK_STREAM_SOCKET
    	protected_address: BOOLEAN
    	protocol_not_supported: BOOLEAN
    	queued: INTEGER_32
    	received: ANY
    	socket_family_not_supported: BOOLEAN
    	socket_in_use: BOOLEAN
    	socket_ok: BOOLEAN
    	socket_would_block: BOOLEAN
    	zero_option: BOOLEAN

    Commands
    	cleanup
    	close
    	execute
    	make (a_port: INTEGER_32)
    	process_message
    	receive
    	resend (msg: ANY)
    	respond
    	set_queued (n: INTEGER_32)