w32_init_random  2249 src/sysdep.c     success = w32_init_random (&v, sizeof v) == 0;
w32_init_random   245 src/w32.h      extern int w32_init_random (void *, ptrdiff_t);