#include <stdio.h>
#include "__printf.h"

int printf(const char *restrict format, ...)
{
    va_list args;
    va_start(args, format);
    int len = vprintf(format, args);
    va_end(args);
    return len;
}