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);