srand($known_thing);
# code relying on $known_thing
srand(0);