ref: b91d539b8c273c086f7b3548700c429d2ad7c5d4
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;
}