let report_error x = implem.report_error x