rem: write(out.File(), buffer, strlen(buffer));
add: write(out->File(), buffer, strlen(buffer));
context: dbg_printf(const char *format,...){#if DEBUG_TO_FILE	char buffer[1024];	va_list args;	va_start(args, format);	// no vsnprintf() on PPC and in kernel	#if defined(__INTEL__) && USER		vsnprintf(buffer, sizeof(buffer) - 1, format, args);	#else		vsprintf(buffer, format, args);	#endif	va_end(args);	buffer[sizeof(buffer) - 1] = '\0';	write(out.File(), buffer, strlen(buffer));#endif}