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);