On Linux's /dev/random, /dev/urandom, getrandom()