@include fun-sb-bsd-sockets-socket-receive.texinfo
+@include fun-sb-bsd-sockets-socket-send.texinfo
+
@include fun-sb-bsd-sockets-socket-listen.texinfo
+@include fun-sb-bsd-sockets-socket-open-p.texinfo
+
@include fun-sb-bsd-sockets-socket-close.texinfo
@include fun-sb-bsd-sockets-socket-make-stream.texinfo