Listing 1

if(!(value == 20)) {
   fprintf((&_streams[2]),
      "Assertion failed: %s, file %s, line %d\n",
      "value == 20", "test1.c", 11);
   abort ();
}