UPDATE_SIM_TIME  6684 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8876 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  8956 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */
UPDATE_SIM_TIME  9039 src/simh/scp.c UPDATE_SIM_TIME;                                        /* update sim time */