UPDATE_SIM_TIME  6546 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8738 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8818 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8901 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */