Use DevRandom, unless otherwise instructed.