rem: sys_write(2, buf, 0, strlen(buf));
add: sys_write(2, 0, buf, strlen(buf));
context: int printf(const char *fmt, ...){	va_list args;	char buf[1024];	int i;		va_start(args, fmt);	i = vsprintf(buf, fmt, args);	va_end(args);		sys_write(2, buf, 0, strlen(buf));		return i;}