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

int fprintf(FILE *restrict f, const char *restrict fmt, ...)
{
    // TODO(orca)
    abort();

	// int ret;
	// va_list ap;
	// va_start(ap, fmt);
	// ret = vfprintf(f, fmt, ap);
	// va_end(ap);
	// return ret;
}