Index: tests/concurrent/readyQ/leader_spin.cfa
===================================================================
--- tests/concurrent/readyQ/leader_spin.cfa	(revision f8fc5605273ad7cfbb96fa3b2a93a61f8be0eb1b)
+++ tests/concurrent/readyQ/leader_spin.cfa	(revision bdb4c3c6baa698ff7fc88e7013e6d1e6c771f911)
@@ -14,5 +14,5 @@
 //
 
-#include <bits/random.hfa>
+#include <stdlib.hfa>
 #include <fstream.hfa>
 #include <thread.hfa>
@@ -26,5 +26,5 @@
 }
 
-__uint128_t lead_seed;
+PRNG lead_rng;
 volatile unsigned leader;
 volatile size_t lead_idx;
@@ -65,5 +65,5 @@
 	waitgroup();
 
-	unsigned nleader = lehmer64( lead_seed ) % nthreads;
+	unsigned nleader = prng( lead_rng, nthreads );
 	__atomic_store_n( &leader, nleader, __ATOMIC_SEQ_CST );
 }
@@ -98,9 +98,6 @@
 // ==================================================
 int main(int argc, char * argv[]) {
-	uint64_t lead_seed = prng();
-	for(10) lehmer64( lead_seed );
-
 	lead_idx = 0;
-	leader = lehmer64( lead_seed ) % nthreads;
+	leader = prng( lead_rng, nthreads );
 
 	the_main = active_thread();