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