On 08/24/2016 10:41 AM, H. S. Teoh via Digitalmars-d wrote: > Just a side note: this depends on the assumption that the PRNG is > explicitly chosen, or that the default PRNG will never change; Correctamundo, it should be explicitly chosen. -- Andrei