C で assertion

#include <stdio.h>
#include <assert.h>
int main(int argc, char *argv[])
{
  assert(argc>1);
  printf("%s\n", argv[1]);
  return 0;
}

と書くと、引数なしで実行したとき
a.out: test.c:6: main: Assertion `argc>1' failed.
と表示されて終了する。
#define NDEBUG
を先にやっておくと、assertマクロは空になる。