kann ich dann <stdio.h> mit int printf (const char * __fmt, ...) verwenden? (habe eigentlich schon versuch, geht nicht)