serial 4503 src/dps8/dps8_cpu.c char serial[12]; serial 4504 src/dps8/dps8_cpu.c sprintf (serial, "%-11u", cpus[cpuNo].switches.serno); serial 4519 src/dps8/dps8_cpu.c BURN (013, 11, serial); // 11-21 CPU serial ("DDDDDDDDDDD"/%11d)