#include <stdio.h>

FILE *c_stdout()
{
    return stdout;
}

FILE *c_stdin()
{
    return stdin;
}

const char progname[] = "hs-bibutils";