Here is a test for the file format.