#include <stdio.h>
#include <stdarg.h>

void test(FILE* sfp, char *s, ...)
{
  va_list ap;
  va_start(ap, s);
  vfprintf(sfp, s, ap);
  fflush(sfp);
  va_end(ap);
}

int main()
{
}
