#define NDEBUG #include #include using std::cout; using std::endl; void printPositiveInt(int x) { assert(x >= 0); cout << x << endl; } int main() { printPositiveInt(2); printPositiveInt(10); printPositiveInt(-1); return (0); }