58 static inline void __set(FILE *stream, int value, char *err_msg);
60 static inline int get(FILE *stream);
61 static inline void set(FILE *stream, int value);
68 static inline void __set(FILE *stream, int value, char *err_msg)  in __set()  argument
70 	rewind(stream);  in __set()
71 	if (fprintf(stream, "%d", value) < 0)  in __set()
115 static inline int get(FILE *stream)  in get()  argument
118 	rewind(stream);  in get()
119 	if (fscanf(stream, "%d", &value) != 1)  in get()
124 static inline void set(FILE *stream, int value)  in set()  argument
128 	rewind(stream);  in set()
129 	if (fprintf(stream, "%d", value) < 0)  in set()
132 	new_value = get(stream);  in set()