7 /*---------------------------------------------------------------------------*/
9 void put_float(FILE *, const float *);
10 void put_int (FILE *, const int *);
11 void put_short(FILE *, const short *);
12 void put_array(FILE *, const float *, size_t);
14 void get_float(FILE *, float *);
15 void get_int (FILE *, int *);
16 void get_short(FILE *, short *);
17 void get_array(FILE *, float *, size_t);
19 /*---------------------------------------------------------------------------*/