/* $Header$ */ asrt(b) { if(!b){ printf("ASSERTION ERROR\n"); abort(); } }