void          config_file_read_string  (char *filename, char *token, char *result, char *tok_default);
unsigned long config_file_read_ulong   (char *filename, char *token, unsigned long tok_default);

void          config_file_write_string (char *filename, char *token, char *string);
void          config_file_write_ulong  (char *filename, char *token, unsigned long value);





