Index: fusl/src/prng/mrand48.c |
diff --git a/fusl/src/prng/mrand48.c b/fusl/src/prng/mrand48.c |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ee650fc3e6a9f25d765e99a4427281819cda96b9 |
--- /dev/null |
+++ b/fusl/src/prng/mrand48.c |
@@ -0,0 +1,15 @@ |
+#include <stdlib.h> |
+#include <inttypes.h> |
+ |
+uint64_t __rand48_step(unsigned short *xi, unsigned short *lc); |
+extern unsigned short __seed48[7]; |
+ |
+long jrand48(unsigned short s[3]) |
+{ |
+ return __rand48_step(s, __seed48+3) >> 16; |
+} |
+ |
+long mrand48(void) |
+{ |
+ return jrand48(__seed48); |
+} |