#include <iostream>

//#define NDEBUG
#include <cassert>

using namespace std;

/**
 * Print a positive value.
 * @param n the value which must be > 0.
 */
void print_positive(int n);

int main()
{
    print_positive(-3);
    return 0;
}

void print_positive(int n)
{
    assert(n > 0);
    cout << "n = " << n << endl;
}