pause              34 user/dorphan.c     pause(1000);
pause              39 user/forphan.c     pause(1000);
pause             348 user/grind.c       pause(20);
pause              25 user/user.h    int pause(int);
pause             512 user/usertests.c   pause(1);
pause             816 user/usertests.c     pause(1);
pause            1057 user/usertests.c   pause(20); // two seconds
pause            1060 user/usertests.c   pause(10); // one second
pause            2227 user/usertests.c         pause(1000);
pause              12 user/zombie.c      pause(5); // Let child exit before parent.