<?xml version="1.0" encoding="iso-8859-1"?>
<mascot-report version="1.0">
  <entry kind="error" category="code" check="idempotent_operations" file="a.ml" line="1" column="8" message="idempotent operation"/>
  <entry kind="error" category="code" check="idempotent_operations" file="a.ml" line="1" column="17" message="idempotent operation"/>
  <entry kind="error" category="code" check="idempotent_operations" file="a.ml" line="3" column="8" message="idempotent operation"/>
</mascot-report>