int debug_fgetc(DEBUG_FILE *stream);
debug_fgetc reads and returns the next character on stream or -1 if no character is available.