RAND_MAX • man page