core_write       3451 src/dps8/dps8_cpu.c int core_write (word24 addr, word36 data, const char * ctx)
core_write       2006 src/dps8/dps8_cpu.h static inline int core_write (word24 addr, word36 data, \