void put_float(FILE *, const float *);
void put_index(FILE *, const int *);
+void put_short(FILE *, const short *);
void put_array(FILE *, const float *, size_t);
-void put_string(FILE *, char *);
void get_float(FILE *, float *);
void get_index(FILE *, int *);
+void get_short(FILE *, short *);
void get_array(FILE *, float *, size_t);
-void get_string(FILE *, char *, int);
+
+void put_string(FILE *fout, const char *);
+void get_string(FILE *fin, char *, int );
/*---------------------------------------------------------------------------*/