Wrap-up config_setting_is_* API