tct                38 src/dps8/dps8_eis.h void tct (cpu_state_t * cpup);
tct              9300 src/dps8/dps8_ins.c           tct (cpup);