free_vmac
free_vmac(context, val->kdc_verifier);
free_vmac(context, val->svc_verifier);
free_vmac(context, *vp);