#include <stdio.h>
#include "_stdio.h"

#if !defined _POSIX_C_SOURCE || _POSIX_C_SOURCE < 199506L
#undef getc_unlocked
#define getc_unlocked fgetc
#include "getc_unlocked.c"
#else

/** read a character from a file stream **/

int fgetc(FILE *stream)
{
	SIGNAL_SAFE(0);
	ASSERT_STREAM(stream, ORIENT_BYTE, OP_INPUT);

	flockfile(stream);
	char c = getc_unlocked(stream);
	funlockfile(stream);

	/*
	RETURN_SUCCESS(the next character);
	RETURN_FAILURE(CONSTANT(EOF));
	*/
	return c;
}

#endif

/***
reads the next character from ARGUMENT(stream) as an
TYPE(unsigned char) converted to an TYPE(int). The file position indicator
of ARGUMENT(stream) is advanced.
***/

/*
STDC(1)
*/