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