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