K5_KEY_GSS_KRB5_SET_CCACHE_OLD_NAME
err = k5_key_register(K5_KEY_GSS_KRB5_SET_CCACHE_OLD_NAME, free);
k5_key_delete(K5_KEY_GSS_KRB5_SET_CCACHE_OLD_NAME);
old_name = k5_getspecific(K5_KEY_GSS_KRB5_SET_CCACHE_OLD_NAME);
err = k5_setspecific(K5_KEY_GSS_KRB5_SET_CCACHE_OLD_NAME, cur_name);