+/* Function full_fread: to read from a standard file. See full_fread.c */
+size_t full_fread(FILE *file, void *buf, size_t count);
+/* Function full_fwrite: to write from a standard file. See full_fwrite.c */
+size_t full_fwrite(FILE *file, void *buf, size_t count);