// Compile: cc -std=c23 test_7_2_assert.c
#include <assert.h>

int main(void) {
#ifndef NDEBUG
  assert(1);     // should do nothing
#endif
  return 0;
}