* in any other header file.
*/
extern void panic();
/*
* These functions do nothing under Unix, so we just eliminate calls them.