@c Get a single character from a file
Nothing special, it is just a placeholder.
int file_fgetc(FILE *fp ){