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

