HDBGTrace        1672 src/dps8/dps8_ins.c     HDBGTrace ("");
HDBGTrace        1679 src/dps8/dps8_ins.c   HDBGTrace ("");