Correct and improve __diagassert.