Index: benchmark/readyQ/transfer.cfa
===================================================================
--- benchmark/readyQ/transfer.cfa	(revision 75965a6a63ea1e2e99384204281cd620b1df6f11)
+++ benchmark/readyQ/transfer.cfa	(revision 6a33e40a808bb9559b1c8d240cf5414593d7b062)
@@ -1,4 +1,5 @@
 #include "rq_bench.hfa"
 #include <fstream.hfa>
+#include <locale.h>
 
 Duration default_preemption() {
@@ -8,5 +9,5 @@
 #define PRINT(...)
 
-__lehmer64_state_t lead_seed;
+__uint128_t lead_seed;
 volatile unsigned leader;
 volatile size_t lead_idx;
@@ -68,5 +69,5 @@
 	waitgroup();
 
-	unsigned nleader = __lehmer64( lead_seed ) % nthreads;
+	unsigned nleader = lehmer64( lead_seed ) % nthreads;
 	__atomic_store_n( &leader, nleader, __ATOMIC_SEQ_CST );
 
@@ -105,6 +106,6 @@
 // ==================================================
 int main(int argc, char * argv[]) {
-	__lehmer64_state_t lead_seed = getpid();
-	for(10) __lehmer64( lead_seed );
+	uint64_t lead_seed = getpid();
+	for(10) lehmer64( lead_seed );
 	unsigned nprocs = 2;
 
@@ -126,5 +127,5 @@
 
 	lead_idx = 0;
-	leader = __lehmer64( lead_seed ) % nthreads;
+	leader = lehmer64( lead_seed ) % nthreads;
 
 	size_t rechecks = 0;
@@ -167,4 +168,5 @@
 	}
 
+	setlocale( LC_NUMERIC, getenv( "LANG" ) );
 	sout | "Duration (ms)           : " | ws(3, 3, unit(eng((end - start)`dms)));
 	sout | "Number of processors    : " | nprocs;