/usr/bin/getrandom