sim_os_sleep     1751 src/simh/sim_console.c         sim_os_sleep (1);                               /* wait 1 second */
sim_os_sleep     1808 src/simh/sim_console.c     sim_os_sleep (1);                                   /* wait 1 second */
sim_os_sleep       70 src/simh/sim_timer.h void sim_os_sleep (unsigned int sec);