core_write2      3673 src/dps8/dps8_cpu.c int core_write2 (word24 addr, word36 even, word36 odd, const char * ctx) {
core_write2      2073 src/dps8/dps8_cpu.h static inline int core_write2 (word24 addr, word36 even, word36 odd,