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