/*
 * FILE
 */

 FLAG  file_get_int(FILE *, int *);
 char *file_get_line(FILE *);
 char *file_get_str(FILE *);
 FILE *file_open(char *);