K5_KEY_GSS_KRB5_CCACHE_NAME
err = k5_key_register(K5_KEY_GSS_KRB5_CCACHE_NAME, free);
k5_key_delete(K5_KEY_GSS_KRB5_CCACHE_NAME);
(char *) k5_getspecific(K5_KEY_GSS_KRB5_CCACHE_NAME));
(k5_getspecific(K5_KEY_GSS_KRB5_CCACHE_NAME) != NULL);
kg_ccache_name = k5_getspecific(K5_KEY_GSS_KRB5_CCACHE_NAME);
kg_ccache_name = k5_getspecific(K5_KEY_GSS_KRB5_CCACHE_NAME);
kerr = k5_setspecific(K5_KEY_GSS_KRB5_CCACHE_NAME, kg_ccache_name);