dtb                57 src/dps8/dps8_eis.h void dtb (void);
dtb              9045 src/dps8/dps8_ins.c           dtb ();