random_seed      2149 src/sysdep.c   static void set_random_seed (random_seed arg) { srandom (arg); }
random_seed      2152 src/sysdep.c   static void set_random_seed (random_seed arg) { srand48 (arg); }
random_seed      2155 src/sysdep.c   static void set_random_seed (random_seed arg) { srand (arg); }
random_seed      2161 src/sysdep.c     random_seed arg = 0;
random_seed      2172 src/sysdep.c     random_seed v;