00001 00002 #include <stdio.h> 00003 #include "output.h" 00004 00005 void Fatal( char *message ) 00006 { 00007 fprintf(stderr, message ); 00008 }