#if 0

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

wint_t getwchar(void)
{
	return getwc(stdin);
}

/*
STDC(199409)
*/


#endif