dsbin 174 src/dps8/dps8_cpu.c char dsbin[66], adbin[34]; dsbin 184 src/dps8/dps8_cpu.c (void)snprintf (dsbin, 65, PFC_INT64, dsbin 187 src/dps8/dps8_cpu.c dsbin + strlen(dsbin) - 36);