/* File: assertions.c
   Using the assert function.
*/

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

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

   printf("The first assertion is true\n") ;
   assert(a < b) ;

   printf("The second assertion is false\n") ;
   assert(b < a) ;

   printf("This line never gets printed\n") ;
}