// Tell coverity that this function always exits
void doAppErr(char const * expr, char const * file, long line)
{
__coverity_panic__();
}
// Tell coverity that this function always exits
void doAppErr(char const * expr, char const * file, long line)
{
__coverity_panic__();
}