//usr/share/man/man3/random.3.gz