anchor.diff:      else
       match Cert.for_signing certAlgs state.poptions.server_name keyAlgs with
       | None -> Error(AD_internal_error, perror __SOURCE_FILE__ __LINE__ "Could not find in the store a certificate for the negotiated ciphersuite")
  -    | Some(c,alg,sk) ->
  +    | Some(x) ->
  +        let (c,alg,sk) = x in
           (* set server identity in the session info *)
           let si = {si with serverID = c} in
           let certificateB = serverCertificateBytes c in
  
positive.code:         if si.client_auth then
              match cert_req with
              | None -> si
              | Some(certList,_,_) -> {si with clientID = certList}
          else si
      (* si is now constant *)
  
  
negative.code:             | None ->
                  (* We sent an empty Certificate message, so no certificate verify message at all *)
                  [||]
              | Some(x) -> 
                  let (certList,algs,skey) = x in
                  makeCertificateVerifyBytes si ms algs skey log
          else
              (* No client certificate ==> no certificateVerify message *)
  