2 files changed, 10 insertions, 14 deletions

diff --git a/packages/base/src/Internal/C/windows_random_r.c b/packages/base/src/Internal/C/windows_random_r.c
index c16d96f..872cb2e 100644
--- a/packages/base/src/Internal/C/windows_random_r.c
+++ b/packages/base/src/Internal/C/windows_random_r.c
@@ -53,7 +53,7 @@
  * Rewritten to be reentrant by Ulrich Drepper, 1995
  */
 
-#include "myrandom.h"
+#include "windows_random_r.h"
 
 /* An improved random number generation package.  In addition to the standard
    rand()/srand() like interface, this package also has a special state info
@@ -388,5 +388,5 @@ int random_r (struct random_data *buf, int32_t *result)
   return -1;
 }
 
-int my_errno;
+int windows_random_r;
 #endif
\ No newline at end of file
diff --git a/packages/base/src/Internal/C/windows_random_r.h b/packages/base/src/Internal/C/windows_random_r.h
index c05caa7..4f4d32f 100644
--- a/packages/base/src/Internal/C/windows_random_r.h
+++ b/packages/base/src/Internal/C/windows_random_r.h
@@ -1,32 +1,28 @@
 #if defined(_WIN32) || defined(WIN32)
 
-#ifndef MYRANDOM_H
-#define MYRANDOM_H
+#ifndef WINDOWS_RANDOM_R_H
+#define WINDOWS_RANDOM_R_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 *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.  */
-    int32_t *end_ptr;       /* Pointer behind state table.  */
+    int *end_ptr;       /* Pointer behind state table.  */
 };
 
+extern int windows_random_r_errno;
 
-#define errno my_errno
-extern int my_errno;
-
-static inline void __set_errno(int err) { my_errno = err; };
+static inline void __set_errno(int err) { windows_random_r_errno = err; };
 
 int random_r (struct random_data *buf, int32_t *result);