printf - print formatted output
#include <stdio.h> int printf(const char *format, ...);
Refer to fprintf().
Derived from Issue 1 of the SVID.