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:     let new_outgoing = state.hs_outgoing @| to_send in
      let state = {state with hs_outgoing = new_outgoing} in
      correct (state,si,ms,log)
   
  let on_serverHello_full crand log (shello:ProtocolVersion * srand * sessionID * cipherSuite * Compression * bytes) =
      let (sh_server_version,sh_random,sh_session_id,sh_cipher_suite,sh_compression_method,sh_neg_extensions) = shello
  
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 *)
  