stdio.h: add fgetc()