DBG_CORE         1207 src/dps8/dps8_cpu.c     { "CORE",        DBG_CORE,        NULL },
DBG_CORE         3810 src/dps8/dps8_cpu.c     sim_debug (DBG_CORE, & cpu_dev,
DBG_CORE         3875 src/dps8/dps8_cpu.c     sim_debug (DBG_CORE, & cpu_dev,
DBG_CORE         3955 src/dps8/dps8_cpu.c     sim_debug (DBG_CORE, & cpu_dev,
DBG_CORE         4010 src/dps8/dps8_cpu.c     sim_debug (DBG_CORE, & cpu_dev,
DBG_CORE         4046 src/dps8/dps8_cpu.c     sim_debug (DBG_CORE, & cpu_dev,
DBG_CORE         4093 src/dps8/dps8_cpu.c   sim_debug (DBG_CORE, & cpu_dev, "core_write2 %08o %012llo (%s)\r\n", addr - 1,
DBG_CORE         4117 src/dps8/dps8_cpu.c   sim_debug (DBG_CORE, & cpu_dev, "core_write2 %08o %012"PRIo64" (%s)\r\n", addr, odd, ctx);