Definition of the file format