__diagassert13
: __diagassert13(__FILE__, __LINE__, __assert_function__, #e))
: __diagassert13(__FILE__, __LINE__, __assert_function__, "e"))
void __diagassert13(const char *, int, const char *, const char *);
__diagassert13(file, line, NULL, failedexpr);