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