Index: src/tests/sched-int-block.c
===================================================================
--- src/tests/sched-int-block.c	(revision 4cedd9fd7388881d56f46c8b5b5520dee1f9e9b2)
+++ src/tests/sched-int-block.c	(revision 20632a2d6f0d29a6a6cabf7ffeeb0fdecd3b6d66)
@@ -49,5 +49,5 @@
 	wait( cond, (uintptr_t)this_thread );
 
-	yield( rand48(10) );
+	yield( random( 10 ) );
 
 	if(a.last_thread != a.last_signaller || b.last_thread != b.last_signaller ) {
@@ -58,5 +58,5 @@
 	a.last_thread = b.last_thread = this_thread;
 
-	yield( rand48(10) );
+	yield( random( 10 ) );
 }
 
@@ -70,5 +70,5 @@
 //------------------------------------------------------------------------------
 void signal_op( global_data_t & mutex a, global_data_t & mutex b ) {
-	yield( rand48(10) );
+	yield( random( 10 ) );
 
 	[a.last_thread, b.last_thread, a.last_signaller, b.last_signaller] = this_thread;
@@ -83,5 +83,5 @@
 		}
 
-		yield( rand48(10) );
+		yield( random( 10 ) );
 
 		if(a.last_thread != next || b.last_thread != next) {
@@ -118,5 +118,5 @@
 
 int main(int argc, char* argv[]) {
-	rand48seed( time( NULL ) );
+	random_seed( time( NULL ) );
 	done = false;
 	processor p;