/* The assert() macro. */

#include <stdio.h>
#include <assert.h>

main()
{
     int x;

     printf("\nEnter an integer value: ");
     scanf("%d", &x);

     assert(x >= 0);
     printf("You entered %d.", x);
     return(0);
}