ipl/stdio.h

int printf(const char *fmt, ...);