srandom          1078 lib/stdlib.in.h _GL_FUNCDECL_RPL (srandom, void, (unsigned int seed));
srandom          1079 lib/stdlib.in.h _GL_CXXALIAS_RPL (srandom, void, (unsigned int seed));
srandom          1082 lib/stdlib.in.h _GL_FUNCDECL_SYS (srandom, void, (unsigned int seed));
srandom          1086 lib/stdlib.in.h _GL_CXXALIAS_SYS_CAST (srandom, void, (unsigned int seed));
srandom          1089 lib/stdlib.in.h _GL_CXXALIASWARN (srandom);
srandom          1094 lib/stdlib.in.h _GL_WARN_ON_USE (srandom, "srandom is unportable - "
srandom          2219 src/sysdep.c   static void set_random_seed (random_seed arg) { srandom (arg); }
srandom           214 src/w32.h      extern void srandom (int);