int printf(const char *format, ...);

int printf_(const char *format)
{
    return printf(format);
}