sim_os_sleep     1753 src/simh/sim_console.c         sim_os_sleep (1);                               /* wait 1 second */
sim_os_sleep     1810 src/simh/sim_console.c     sim_os_sleep (1);                                   /* wait 1 second */
sim_os_sleep       71 src/simh/sim_timer.h void sim_os_sleep (unsigned int sec);