RestateRandom

constructor(seed: Long, syscalls: Syscalls)