#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include "count2.h"

static FILE *dbg_fp;

void dbg_init(const char *fname)
{
  dbg_fp = fopen(fname, "w");
}

int dbg_printf(const char *format, ...)
{
    va_list ap;
    va_start(ap, format);
    vfprintf(dbg_fp, format, ap);
    va_end(ap);
//    fflush(dbg_fp);
    return (0);
}