PFC_INT32         170 src/dps8/dps8_cpu.c #define PFC_INT64 PFC_INT32 PFC_INT32
PFC_INT32         192 src/dps8/dps8_cpu.c     (void)snprintf (adbin, 33, PFC_INT32,