DllExport FILE *
win32_stderr(void)
{
    return (stderr);
}