__bad_assert       41 user/include/assert.h void __bad_assert(const char *file, int line, const char *msg);
__bad_assert       56 user/include/assert.h #define assert(x) ((x) ? (void)0 : __bad_assert(__FILE__, __LINE__, #x))