ptc              1711 src/dps8/dps8_cpu.c   unsigned char *ptc = (unsigned char*)(void*)(&pt);
ptc              1715 src/dps8/dps8_cpu.c       sim_msg ("%02x", (unsigned)(ptc[i]));