00001
00004 #include <stdio.h>
00005 #include <stdlib.h>
00006 #include <stdarg.h>
00007
00008 extern "C" void CmiAbort(const char *why) {
00009 fprintf(stderr,"Fatal error> %s\n",why);
00010 abort();
00011 }
00012
00013 extern "C" void CmiPrintf(const char *fmt, ...) {
00014 va_list p; va_start(p, fmt);
00015 vfprintf(stdout,fmt,p);
00016 va_end(p);
00017 }
00018 extern "C" void CmiError(const char *fmt, ...) {
00019 va_list p; va_start(p, fmt);
00020 vfprintf(stderr,fmt,p);
00021 va_end(p);
00022 }
00023