replay: record and replay random number sources