UPDATE_SIM_TIME  6476 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8668 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8748 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8831 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */