/* $Header $ */

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