ref: e389dc2387eb8f243a3361263f5ac1d85e95b7ec
dir: /lib/c/src/printf.c/
#include <stdarg.h>
#include <stdio.h>
#undef printf
int
printf(const char * restrict fmt, ...)
{
int cnt;
va_list va;
va_start(va, fmt);
cnt = vfprintf(stdin, fmt, va);
va_end(va);
return cnt;
}