RAND_seed • man page