tct                41 src/dps8/dps8_eis.h void tct (void);
tct              8965 src/dps8/dps8_ins.c           tct ();