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