@c Close a file
This is same as fclose. Nothing special. This is just a placeholder.
void file_fclose(FILE *fp ){