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