#include <wchar.h>
#include <stdio.h>

wint_t putwchar(wchar_t c)
{
	return putwc(c, stdout);
}

/*
STDC(199409)
*/