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