Index: libcfa/src/stdlib.cfa
===================================================================
--- libcfa/src/stdlib.cfa	(revision 454b4e01b75e00e1a232a34fc6777a3e01b733c2)
+++ libcfa/src/stdlib.cfa	(revision 6a823241f523e2ed232755b1a5401712de96e95c)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:10:29 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jan 15 14:33:21 2022
-// Update Count     : 595
+// Last Modified On : Thu Feb 10 22:41:39 2022
+// Update Count     : 602
 //
 
@@ -230,5 +230,5 @@
 void set_seed( PRNG & prng, uint32_t seed_ ) with( prng ) { state = seed = seed_; GENERATOR( state ); } // set seed
 
-void set_seed( uint32_t seed ) { __global_random_seed = seed; GENERATOR( __global_random_state ); }
+void set_seed( uint32_t seed ) { __global_random_state = __global_random_seed = seed; GENERATOR( __global_random_state ); }
 uint32_t get_seed() { return __global_random_seed; }
 uint32_t prng( void ) { return GENERATOR( __global_random_state ); } // [0,UINT_MAX]
Index: libcfa/src/stdlib.hfa
===================================================================
--- libcfa/src/stdlib.hfa	(revision 454b4e01b75e00e1a232a34fc6777a3e01b733c2)
+++ libcfa/src/stdlib.hfa	(revision 6a823241f523e2ed232755b1a5401712de96e95c)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jan 15 09:57:28 2022
-// Update Count     : 640
+// Last Modified On : Thu Feb 10 18:34:58 2022
+// Update Count     : 641
 //
 
@@ -412,8 +412,8 @@
 void set_seed( PRNG & prng, uint32_t seed_ );
 static inline {
-	uint32_t prng( PRNG & prng ) __attribute__(( warn_unused_result )) with( prng ) { callcnt += 1; return LCG( state ); } // [0,UINT_MAX]
 	void ?{}( PRNG & prng ) { set_seed( prng, rdtscl() ); }	// random seed
 	void ?{}( PRNG & prng, uint32_t seed ) { 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]
 	uint32_t prng( PRNG & prng, uint32_t u ) __attribute__(( warn_unused_result )) { return prng( prng ) % u; } // [0,u)
 	uint32_t prng( PRNG & prng, uint32_t l, uint32_t u ) __attribute__(( warn_unused_result )) { return prng( prng, u - l + 1 ) + l; } // [l,u]