socket_to_fd     7969 src/w32.c      static int socket_to_fd (SOCKET s);
socket_to_fd     7988 src/w32.c          return socket_to_fd (s);
socket_to_fd     8476 src/w32.c      	fd = socket_to_fd (t);