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