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)