void printf(string format, ...);
Eine Mischung aus sprintf() und write(). Gibt void zurueck und den String an den Benutzer aus.
sprintf(E), write(E), terminal_colour(E)