anchor.diff:                      else
                           // RFC Sec 7.4.1.4: with no safe renegotiation, we never send extensions; if the server sent any extension
                           // we MUST abort the handshake with unsupported_extension fatal alter (handled by the dispatcher)
  -                        if not (equalBytes sh_neg_extensions [||])
  +                        if (equalBytes sh_neg_extensions [||]) = false
                           then Error(AD_unsupported_extension, perror __SOURCE_FILE__ __LINE__ "The server gave an unknown extension")
                           else let unitVal = () in correct (unitVal)
                     match safe_reneg_result with
  
positive.code:     let (ch_client_version,ch_random,ch_session_id,ch_cipher_suites,ch_compression_methods,ch_extensions) = cHello
      // Negotiate the protocol parameters
      let version = minPV ch_client_version state.poptions.maxVer in
      if not (geqPV version state.poptions.minVer) then
          Error(AD_handshake_failure, perror __SOURCE_FILE__ __LINE__ "Protocol version negotiation")
      else
          match negotiate ch_cipher_suites state.poptions.ciphersuites with
  
negative.code:     (* We expect to find exactly one extension *)
      match listLength extList with
      | 0 -> Error(AD_handshake_failure, perror __SOURCE_FILE__ __LINE__ "Not enough extensions given")
      | x when x <> 1 -> Error(AD_handshake_failure, perror __SOURCE_FILE__ __LINE__ "Too many extensions given")
      | _ ->
          let (extType,payload) = listHead extList in
          match extType with
  