dhkem_decap
return dhkem_decap(ctx, out, outlen, in, inlen);
return dhkem_decap(vctx, out, outlen, in, inlen);