release_listen_threads 7719 src/w32.c            release_listen_threads ();
release_listen_threads  169 src/w32.h      extern void release_listen_threads (void);