/dev/random: