extern "C" void __assert(bool expr, const char *exprStr, 
			 const char *file, int line)
{
    // TODO
    while (true);
}