dtb                54 src/dps8/dps8_eis.h void dtb (cpu_state_t * cpup);
dtb              9380 src/dps8/dps8_ins.c           dtb (cpup);