#define   NDEBUG

#include <assert.h>

int main(void)
{
   int   a = 1, b = 2;

   assert(a > b);
   return 0;
}