Index: libcfa/src/concurrency/thread.cfa
===================================================================
--- libcfa/src/concurrency/thread.cfa	(revision 0db48ca277851afe19811796bd58ac3e63be7448)
+++ libcfa/src/concurrency/thread.cfa	(revision 3a40df659c2993d7df0f62b96d084fd2878dc6c4)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Feb 12 08:45:33 2022
-// Update Count     : 65
+// Last Modified On : Sat Feb 12 15:24:18 2022
+// Update Count     : 66
 //
 
@@ -176,7 +176,8 @@
 
 void set_seed( uint32_t seed ) {
- 	active_thread()->random_state = __global_random_seed = seed;
-	GENERATOR( active_thread()->random_state );
-	__global_random_prime = active_thread()->random_state;
+	uint32_t & state = active_thread()->random_state;
+	state = __global_random_seed = seed;
+	GENERATOR( state );
+	__global_random_prime = state;
 	__global_random_mask = true;
 } // set_seed
Index: libcfa/src/stdlib.hfa
===================================================================
--- libcfa/src/stdlib.hfa	(revision 0db48ca277851afe19811796bd58ac3e63be7448)
+++ libcfa/src/stdlib.hfa	(revision 3a40df659c2993d7df0f62b96d084fd2878dc6c4)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 10 18:34:58 2022
-// Update Count     : 641
+// Last Modified On : Sat Feb 12 17:22:25 2022
+// Update Count     : 643
 //
 
@@ -412,6 +412,6 @@
 void set_seed( PRNG & prng, uint32_t seed_ );
 static inline {
-	void ?{}( PRNG & prng ) { set_seed( prng, rdtscl() ); }	// random seed
-	void ?{}( PRNG & prng, uint32_t seed ) { set_seed( prng, seed ); } // fixed seed
+	void ?{}( PRNG & prng ) with( prng ) { callcnt = 0; set_seed( prng, rdtscl() ); } // random seed
+	void ?{}( PRNG & prng, uint32_t seed ) with( prng ) { callcnt = 0; set_seed( prng, seed ); } // fixed seed
 	uint32_t get_seed( PRNG & prng ) __attribute__(( warn_unused_result )) with( prng ) { return seed; } // get seed
 	uint32_t prng( PRNG & prng ) __attribute__(( warn_unused_result )) with( prng ) { callcnt += 1; return LCG( state ); } // [0,UINT_MAX]