UPDATE_SIM_TIME  6658 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8850 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8930 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  9013 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */