1 files changed, 35 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..4f4d32f
--- /dev/null
+++ b/packages/base/src/Internal/C/windows_random_r.h
@@ -0,0 +1,35 @@
+#if defined(_WIN32) || defined(WIN32)
+
+#ifndef WINDOWS_RANDOM_R_H
+#define WINDOWS_RANDOM_R_H
+
+#include <stddef.h>
+
+#define EINVAL 23
+
+typedef int int32_t;
+
+struct random_data
+{
+    int *fptr;          /* Front pointer.  */
+    int *rptr;          /* Rear pointer.  */
+    int *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.  */
+    int *end_ptr;       /* Pointer behind state table.  */
+};
+
+extern int windows_random_r_errno;
+
+static inline void __set_errno(int err) { windows_random_r_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