#include <assert.h>
#include <stdlib.h>

__dead void
/*ARGSUSED*/
__diagassert13(const char *fn, int fl, const char *fu, const char *m)
{
        abort();
}