srandom           919 lib/stdlib.in.h _GL_FUNCDECL_RPL (srandom, void, (unsigned int seed));
srandom           920 lib/stdlib.in.h _GL_CXXALIAS_RPL (srandom, void, (unsigned int seed));
srandom           923 lib/stdlib.in.h _GL_FUNCDECL_SYS (srandom, void, (unsigned int seed));
srandom           927 lib/stdlib.in.h _GL_CXXALIAS_SYS_CAST (srandom, void, (unsigned int seed));
srandom           929 lib/stdlib.in.h _GL_CXXALIASWARN (srandom);
srandom           933 lib/stdlib.in.h _GL_WARN_ON_USE (srandom, "srandom is unportable - "
srandom          2149 src/sysdep.c   static void set_random_seed (random_seed arg) { srandom (arg); }
srandom           214 src/w32.h      extern void srandom (int);