make_external_lucid_ctx_v1
make_external_lucid_ctx_v1(
kret = make_external_lucid_ctx_v1((krb5_pointer)ctx,