#include <stdio.h>
#include <stdarg.h>
#include "../inc/debug.h"

FILE *_DEBUG_STREAM = stderr;

int DBprintf(const char *s, ...)
{
    int	i;
    va_list ap;
    
    va_start(ap, s);
    i = vfprintf(_DEBUG_STREAM, s, ap);
    va_end(ap);
    
    return i;
}