--- a/loadagent/libprintf/printf.c	Mon Apr 29 07:00:22 2013 +0000
+++ b/loadagent/libprintf/printf.c	Mon Apr 29 07:19:34 2013 +0000
@@ -1,17 +1,14 @@
-#include <varargs.h>
+#include <stdarg.h>
 
 extern void putchar();
 
 int
-printf(va_alist)
-	va_dcl
+printf(char *fmt, ...)
 {
 	va_list ap;
-	char *fmt;
 	int len;
 
-	va_start(ap);
-	fmt = va_arg(ap, char *);
+	va_start(ap, fmt);
 	len = _doprnt(fmt, ap, &putchar);
 	va_end(ap);
 	return(len);