printf(char *fmt, ...) 
printf(const char *fmt, ...) 
printf(char *fmt, ...){	va_list args;	int n;	va_start(args, fmt);	n = vsprintf(sprint_buf, fmt, args);	va_end(args);	write(stdout, sprint_buf, n);	return n;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/decd300b30e499fe6be1bbfc5650fc971de8c1fa/prom.c/clean/arch/ppc64/boot/prom.c