[Concept] [PATCH 26/37] mcheck: add pedantic mode support