Name	fgetc
Definition	fgetc(f:val(bfile)) : expr(char) .
Defined in	io.l
Implementation	builtin
Description	Read and return a single character from the given binary file.