#define ASSERT(expr)   assert(expr)