--- /dev/null
+#include <stdio.h>
+#include <stdarg.h>
+FILE *c0_file = NULL;
+static void c0_start( const char *fn )
+{
+ c0_file = fopen( fn, "w" );
+}
+
+static void c0_end(void)
+{
+ fclose( c0_file );
+ c0_file = NULL;
+}
+
+static void c0_echof( const char *fmt, ... )
+{
+ va_list args;
+ va_start( args, fmt );
+ vfprintf( c0_file, fmt, args );
+ va_end( args );
+}