@section @code{mrand48}
@findex mrand48
-POSIX specification: @url{http://www.opengroup.org/onlinepubs/9699919799/functions/mrand48.html}
+POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/functions/mrand48.html}
Gnulib module: ---