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