Index: tests/PRNG.cfa
===================================================================
--- tests/PRNG.cfa	(revision 5910fc0362843a9ce6e51b9af832fb4c049c6988)
+++ tests/PRNG.cfa	(revision 5cefa433745f174ac307ad32f414eb2fef7476a2)
@@ -8,6 +8,6 @@
 // Created On       : Wed Dec 29 09:38:12 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Feb 11 08:16:43 2022
-// Update Count     : 328
+// Last Modified On : Sat Feb 12 12:23:57 2022
+// Update Count     : 342
 // 
 
@@ -20,4 +20,5 @@
 #include <malloc.h>										// malloc_stats
 #include <locale.h>										// setlocale
+#include <mutex_stmt.hfa>
 
 // FIX ME: spurious characters appear in output
@@ -50,11 +51,11 @@
 	} // for
 	double std = sqrt( sum / BUCKETS );
-	sout | "trials"  | TRIALS | "buckets" | BUCKETS
-		 | "min" | min | "max" | max
-		 | "avg" | wd(0,1, avg) | "std" | wd(0,1, std) | "rstd" | wd(0,1, (avg == 0 ? 0.0 : std / avg * 100)) | "%";
+	mutex( sout ) sout | "trials"  | TRIALS | "buckets" | BUCKETS
+		| "min" | min | "max" | max
+		| "avg" | wd(0,1, avg) | "std" | wd(0,1, std) | "rstd" | wd(0,1, (avg == 0 ? 0.0 : std / avg * 100)) | "%";
 } // avgstd
 
+
 uint32_t seed = 1009;
-
 
 thread T1 {};
@@ -94,5 +95,5 @@
 	unsigned int * buckets = calloc( BUCKETS );			// too big for task stack
 	for ( TRIALS ) {
-		buckets[prng( (thread$ &)th ) % BUCKETS] += 1;	// concurrent
+		buckets[prng( th ) % BUCKETS] += 1;	// concurrent
 	} // for
 	avgstd( buckets );