Reporting /coq/94506