Probably the final commit for this, only so this commit can be pushed to the new Gitea server.

src/printf.c

@@ -0,0 +1,9 @@
+
+void printf(char *format_string, ...)
+{
+	va_list arg;
+	
+	va_start(arg, format_string);
+	
+	va_end(arg);
+}