}
} // namespace
void assertionFailure(const char* expr, const char* msg, const char* file,
unsigned int line, const char* function) {
writeStderr("\n\nAssertion failure: ");
}
} // namespace
void assertionFailure(const char* expr, const char* msg, const char* file,
unsigned int line, const char* function) {
writeStderr("\n\nAssertion failure: ");