4 * Ullrich von Bassewitz, 11.08.1998
14 int printf (char* format, ...)
17 va_start (ap, format);
19 /* Do formatting and output. Since we know, that va_end is empty, we don't
20 * call it here, saving an extra variable and some code.
22 return vfprintf (stdout, (char*) va_fix (ap, 1), ap);