serial 4823 src/dps8/dps8_cpu.c char serial[12]; serial 4824 src/dps8/dps8_cpu.c (void)sprintf (serial, "%-11u", cpus[cpuNo].switches.serno); serial 5070 src/dps8/dps8_cpu.c BURN (013, 11, serial); // 11-21 CPU serial ("DDDDDDDDDDD") //-V1086