jrand48_r • man page