#include <stdio.h> FILE *c_stdout() { return stdout; } FILE *c_stdin() { return stdin; } const char progname[] = "hs-bibutils";