adbin             157 src/dps8/dps8_cpu.c     char dsbin[66], adbin[34];
adbin             173 src/dps8/dps8_cpu.c     (void)snprintf (adbin, 33, PFC_INT32,
adbin             176 src/dps8/dps8_cpu.c                 adbin + strlen(adbin) - 18);