public static void internalerror( Exception e ) { Console.Error.WriteLine( "Internal error: {0}", e.Message ); Console.Error.WriteLine( stackwriter.demangle( e.StackTrace ) ); Console.Error.Flush(); bigloo_abort(); Environment.Exit( 1 ); }