sig type reason = Algo.Diagnostic.reason_int end