check_failed
void check_failed(const char *expr, const char *file, int line);
do { if (!(x)) check_failed(#x, __FILE__, __LINE__); } while(0)