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