<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.mli"> <error severity="error" message="invalid header" source="typography.header" line="2"/> </file> <file name="b.ml"> <error severity="error" message="invalid header" source="typography.header" line="7"/> </file> </checkstyle>