Index: tests/concurrent/pthread/.expect/bounded_buffer.txt
===================================================================
--- tests/concurrent/pthread/.expect/bounded_buffer.txt	(revision 441a6a7b3275ed6c7fdb8c499f947eb9de0c8e1e)
+++ tests/concurrent/pthread/.expect/bounded_buffer.txt	(revision 1afda5a28cedbdf19c9bd2fdbf8cef4e296b02bc)
@@ -1,2 +1,2 @@
-producer total value is 23426
-consumer total value is 23426
+producer total value is 24150
+consumer total value is 24150
Index: tests/concurrent/pthread/bounded_buffer.cfa
===================================================================
--- tests/concurrent/pthread/bounded_buffer.cfa	(revision 441a6a7b3275ed6c7fdb8c499f947eb9de0c8e1e)
+++ tests/concurrent/pthread/bounded_buffer.cfa	(revision 1afda5a28cedbdf19c9bd2fdbf8cef4e296b02bc)
@@ -63,9 +63,9 @@
 
 void *producer( void *arg ) {
-	Buffer(int) &buf = *(Buffer(int)*)arg;
-	const int NoOfItems = rand() % 40;
+    Buffer(int) &buf = *(Buffer(int)*)arg;
+	const int NoOfItems = prng(*active_thread(), 40);
 	int item;
 	for ( int i = 1; i <= NoOfItems; i += 1 ) {			// produce a bunch of items
-		item = rand() % 100 + 1;						// produce a random number
+		item = prng(*active_thread(), 1, 101);			// produce a random number
 		//sout | "Producer:" | pthread_self() | " value:" | item;
 		insert( buf,item );								// insert element into queue
@@ -101,5 +101,5 @@
     pthread_mutex_init(&consumer_cnt_lock, NULL);
 	// parallelism
-    srandom( 1003 );
+    set_seed( 1003 );
 
 	processor p[5];