1 files changed, 39 insertions, 0 deletions

diff --git a/packages/base/src/Internal/C/windows_random_r.h b/packages/base/src/Internal/C/windows_random_r.h
new file mode 100644
index 0000000..c05caa7
--- /dev/null
+++ b/packages/base/src/Internal/C/windows_random_r.h
@@ -0,0 +1,39 @@
+#if defined(_WIN32) || defined(WIN32)
+
+#ifndef MYRANDOM_H
+#define MYRANDOM_H
+
+#include <stddef.h>
+
+#define NULL 0
+
+#define EINVAL 23
+
+typedef int int32_t;
+
+struct random_data
+{
+    int32_t *fptr;      /* Front pointer.  */
+    int32_t *rptr;      /* Rear pointer.  */
+    int32_t *state;     /* Array of state values.  */
+    int rand_type;      /* Type of random number generator.  */
+    int rand_deg;       /* Degree of random number generator.  */
+    int rand_sep;       /* Distance between front and rear.  */
+    int32_t *end_ptr;       /* Pointer behind state table.  */
+};
+
+
+#define errno my_errno
+extern int my_errno;
+
+static inline void __set_errno(int err) { my_errno = err; };
+
+int random_r (struct random_data *buf, int32_t *result);
+
+int initstate_r (unsigned int seed,
+        char *arg_state,
+        /*unsigned long*/ size_t n,
+        struct random_data *buf);
+
+#endif
+#endif
\ No newline at end of file