Wrote some test programs and files to check the new header format of a file