#include <lib.h>
#include <stdio.h>

void fputc(FILE *stream, char c) {
	(void) stream;
	(void) c;

	// FIXME: !!!
}