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