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