Index: libcfa/src/concurrency/thread.cfa
===================================================================
--- libcfa/src/concurrency/thread.cfa	(revision 29702ad1e351b5bb998c5b18e96a209401abf2b4)
+++ libcfa/src/concurrency/thread.cfa	(revision 93c10dee6eb516206f8cb00b620e8ee4abfb79f8)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Nov 20 17:17:50 2022
-// Update Count     : 80
+// Last Modified On : Tue Nov 22 22:18:37 2022
+// Update Count     : 81
 //
 
@@ -227,5 +227,5 @@
 //-----------------------------------------------------------------------------
 
-void set_seed( uint64_t seed ) {
+void set_seed( size_t seed ) {
 	PRNG_ARG_T & state = active_thread()->random_state;
 	state = __global_random_seed = seed;
@@ -235,5 +235,5 @@
 } // set_seed
 
-uint64_t prng( void ) {									// [0,UINT_MAX]
+size_t prng( void ) {									// [0,UINT_MAX]
 	PRNG_ARG_T & state = active_thread()->random_state;
 	return PRNG_NAME( state );
Index: libcfa/src/concurrency/thread.hfa
===================================================================
--- libcfa/src/concurrency/thread.hfa	(revision 29702ad1e351b5bb998c5b18e96a209401abf2b4)
+++ libcfa/src/concurrency/thread.hfa	(revision 93c10dee6eb516206f8cb00b620e8ee4abfb79f8)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Nov 19 16:41:27 2022
-// Update Count     : 30
+// Last Modified On : Tue Nov 22 22:18:34 2022
+// Update Count     : 35
 //
 
@@ -142,12 +142,13 @@
 //----------
 // prng
+void set_seed( size_t seed );
 static inline {
-	uint64_t prng( thread$ & th ) __attribute__(( warn_unused_result )) { return PRNG_NAME( th.random_state ); } // [0,UINT_MAX]
-	uint64_t prng( thread$ & th, uint64_t u ) __attribute__(( warn_unused_result )) { return prng( th ) % u; } // [0,u)
-	uint64_t prng( thread$ & th, uint64_t l, uint64_t u ) __attribute__(( warn_unused_result )) { return prng( th, u - l + 1 ) + l; } // [l,u]
+	size_t prng( thread$ & th ) __attribute__(( warn_unused_result )) { return PRNG_NAME( th.random_state ); } // [0,UINT_MAX]
+	size_t prng( thread$ & th, size_t u ) __attribute__(( warn_unused_result )) { return prng( th ) % u; } // [0,u)
+	size_t prng( thread$ & th, size_t l, size_t u ) __attribute__(( warn_unused_result )) { return prng( th, u - l + 1 ) + l; } // [l,u]
 	forall( T & | is_thread(T) ) {
-		uint64_t prng( T & th ) __attribute__(( warn_unused_result )) { return prng( (thread &)th ); } // [0,UINT_MAX]
-		uint64_t prng( T & th, uint64_t u ) __attribute__(( warn_unused_result )) { return prng( th ) % u; } // [0,u)
-		uint64_t prng( T & th, uint64_t l, uint64_t u ) __attribute__(( warn_unused_result )) { return prng( th, u - l + 1 ) + l; } // [l,u]
+	 	size_t prng( T & th ) __attribute__(( warn_unused_result )) { return prng( (thread &)th ); } // [0,UINT_MAX]
+		size_t prng( T & th, size_t u ) __attribute__(( warn_unused_result )) { return prng( th ) % u; } // [0,u)
+		size_t prng( T & th, size_t l, size_t u ) __attribute__(( warn_unused_result )) { return prng( th, u - l + 1 ) + l; } // [l,u]
 	} // distribution
 } // distribution