[Reduction] #543-547: fgetc and friends