* backport [13042]

[vlc] / loader / kludge.c

int dbg_printf(const char *format, ...)
{
        return 0;
}