// CS2 Chung: testing assert
#include <iostream.h>
#include <assert.h>

void main()
{
   int n;
   cout << "Enter a positive number: ";
   cin >> n;
   assert(n >= 0);
}