int read_cfg (char *file); char *get_cfg (char *key); void set_cfg (char *key, char *value);