/****************************************************************************
*                               internal_error
* Inputs:
*       char * msg: Message to write
* Effect: 
*       Writes the internal error message
****************************************************************************/
/*ARGSUSED */

void internal_error(msg)
    char * msg;
    {
     /* fill this in later */
    }