#include <rtl_printf.h>

int stderr = 0;

int fputs(const char *s, void *stream)
{
	rtl_printf(s);
	return 0;
}