#include <stdarg.h>
#include <stddef.h>
#include <stdio.h>
static int discard_printf(const char *format, va_list args)
{
char buf[512];
return vsnprintf(buf, sizeof buf, format, args);
}
int printf(const char *format, ...)
{
va_list args;
va_start(args, format);
int const ret = discard_printf(format, args);
va_end(args);
return ret;
}
int vprintf(const char *format, va_list args)
{
return discard_printf(format, args);
}
int vfprintf(FILE *stream, const char *format, va_list args)
{
(void)stream;
return discard_printf(format, args);
}
int fprintf(FILE *stream, const char *format, ...)
{
(void)stream;
va_list args;
va_start(args, format);
int const ret = discard_printf(format, args);
va_end(args);
return ret;
}