documented output file format