/* assert.cpp -- If you want to disable the assert mechanism, define NDEBUG
 *               before the statement "#include <assert.h>"
 */

#include <iostream>

//#define NDEBUG   //assert is checked only when NDEBUG is not defined
#include <cassert>

void main(void){
  int x;

  cout << "Enter an integer: ";
  cin >> x;
  assert(x>0);

  cout << "That is a valid input\n";
}