diff --git a/src/aig/aig/aigUtil.c b/src/aig/aig/aigUtil.c
index c1ec04d21d..aad8c250c4 100644
--- a/src/aig/aig/aigUtil.c
+++ b/src/aig/aig/aigUtil.c
@@ -1169,8 +1169,13 @@ void Aig_ManRandomTest1()
 ***********************************************************************/
 unsigned Aig_ManRandom( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index cd02d36dd5..b60b039bec 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -48,8 +48,13 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 unsigned Gia_ManRandom( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;
diff --git a/src/misc/util/utilSort.c b/src/misc/util/utilSort.c
index 6ad9acd17c..0bbd7d2896 100644
--- a/src/misc/util/utilSort.c
+++ b/src/misc/util/utilSort.c
@@ -1003,8 +1003,13 @@ void Abc_QuickSortTest()
 
 unsigned Abc_Random( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;