diff -r 9a43991c2115 -r 72e04173691f examples/user/main.c
--- a/examples/user/main.c	Fri Oct 10 09:56:32 2008 +0000
+++ b/examples/user/main.c	Tue Oct 14 08:39:09 2008 +0000
@@ -374,7 +374,7 @@
 
     printf("Started.\n");
 	while (1) {
-        sleep(1); // always interrupted by SIGALRM
+        pause();
 
 #if 0
         struct timeval t;