UPDATE_SIM_TIME  6488 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8680 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8760 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8843 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */