#include "file.h"

#include <errno.h>
#include <stddef.h>
#include <stdio.h>

extern int __libc_fctprintf(
	int (*out)(char character, void *arg),
	void *arg,
	const char *format,
	va_list va);
extern int __fputc(int c, struct __opaque_file *stream);

static inline int _out_file(char character, void *arg)
{
	FILE *fp = arg;
	return __fputc(character, fp);
}

int vprintf(const char *format, va_list arg)
{
	return vfprintf(stdout, format, arg);
}