#include <stdio.h>

int format_print(char *dest, size_t maxlen, const char *fmt,va_list argp);

int fprintf(FILE* file, const char* format, ...)
{
va_list		arg;
char		*buf;
int		printed;
//int		data[4];
	
  va_start (arg, format);
  buf=malloc(4096*2); //8kb max
  //data[0]=(int)&arg-(int)&format;

  printed=format_print(buf,8191, format,arg);
  fwrite(buf,printed,1,file);
  free(buf);

  return(printed);
}