#include "debug_print.h"

void
_debug_printf (const char *format, ...)
{
    va_list va_args;

    va_start (va_args, format);
    vfprintf (stderr, format, va_args);
    va_end (va_args);
    
}

void
_internal_error (const char *format, ...)
{
    va_list va_args;

    va_start (va_args, format);

    fprintf (stderr, "Internal error: ");
    vfprintf (stderr, format, va_args);

    va_end (va_args);
    exit (1);
}