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