(see source code comments re: license)
badsect2.c
prtbadsects3.c