char *val = get_setting(key);
const char *val = get_setting(key);
int read_setting_i(void *handle, char *key, int defvalue){    char *val = get_setting(key);    if (!val)	return defvalue;    else	return atoi(val);}