/* Copyright 1984 by the Massachusetts Institute of Technology */

/* Just a hack until some real mechanism is found for bughalt. */

bughalt(s)
char	*s;
{
	printf("BUGHALT! %s", s);
	asm(".word 0x4afc");	/* This causes an illegal instruction  trap */
}