#include	"sfhdr.h"
#include	"stdio.h"

#if __STD_C
int _stdfgetc(FILE* f)
#else
int _stdfgetc(f)
FILE*	f;
#endif
{
	return sfgetc(f);
}