srandom          1199 src/dps8/dps8_mgp.c   srandom(h);
srandom          4439 src/dps8/dps8_sys.c   srandom(h); /* seed rng */
srandom           160 src/dps8/utfile.c   srandom(h);
srandom           897 src/simh/sim_tmxr.c srandom(h);