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

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