path: root/test_deliverable/testcases/test_PRINTF.c

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

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