//  File: assert.C
//  Using the assert function.


#include <iostream.h>
#include <iomanip.h>
#include <assert.h>

main() {
   int a = 3, b =15 ;

   cout << "The first assertion is true" << endl ;
   assert(a < b) ;

   cout << "The second assertion is false" << endl ;
   assert(b < a) ;

   cout << "This line never gets printed" << endl ;
}