Symbol: _krb5_conf_boolean