adbin             170 src/dps8/dps8_cpu.c     char dsbin[66], adbin[34];
adbin             186 src/dps8/dps8_cpu.c     snprintf (adbin, 33, PFC_INT32,
adbin             189 src/dps8/dps8_cpu.c                 adbin + strlen(adbin) - 18);