checksn          1406 src/dps8/dps8_cpu.c         char * checksn = fgets (buffer, sizeof (buffer), fp);
checksn          1407 src/dps8/dps8_cpu.c         (void)checksn;