anchor.diff:              match adOpt with
               | None -> raise (IOException(sprintf "TLS-HS: Internal error: %A" err))
               | Some ad -> raise (IOException(sprintf "TLS-HS: Sent fatal alert: %A %A" ad err))
  -        | TLS.Close ns -> closed <- true; (conn,[||]) // This is a closed connection, should not be used!
  +        | TLS.Close ns -> closed <- true; (conn,empty_bytes) // This is a closed connection, should not be used!
           | TLS.Fatal ad -> raise (IOException(sprintf "TLS-HS: Received fatal alert: %A" ad))
           | TLS.Warning (conn,ad) -> raise (IOException(sprintf "TLS-HS: Received warning alert: %A" ad))
           | TLS.CertQuery (conn,q,advice) ->
  
positive.code:     override this.Seek(i,o)         = raise (NotSupportedException())
  
      override this.Flush() =
          if not (equalBytes outbuf [||]) then
              let msgO = doMsg_o conn outbuf
              conn <- wrapWrite conn msgO
              outbuf <- [||]
  
      override this.Read(buffer, offset, count) =
          let data =
              if equalBytes inbuf [||] then
                  (* Read from the socket, and possibly buffer some data *)
                  let (c,data) = wrapRead conn
                      // Fixme: is data is [||] we should set conn to "null" (which we cannot)
                  conn <- c
                  data
              else (* Use the buffer *)
                  let tmp = inbuf in
                  inbuf <- [||]
                  tmp
          let l = length data in
          if l <= count then
              Array.blit data 0 buffer offset l
              l
          else
              let (recv,newBuf) = split data count in
              Array.blit recv 0 buffer offset count
              inbuf <- newBuf
              count
  
      override this.Write(buffer,offset,count) =
          let data = createBytes count 0 in
          Array.blit buffer offset data 0 count
          outbuf <- data
          this.Flush ()
  
  
negative.code: 
      let own = defaultArg own true
  
      let mutable inbuf  : bytes = empty_bytes
      let mutable outbuf : bytes = empty_bytes
      let mutable closed : bool  = true
  
      let doMsg_o conn b =
  