anchor.diff:  let entry (options : options) =
       let assembly     = System.Reflection.Assembly.GetExecutingAssembly() in
       let mypath       = Path.GetDirectoryName(assembly.Location) in
  -    let sessiondbdir = Path.Combine(mypath, "sessionDB") in
  -    let ctxt         = tlsoptions options sessiondbdir in
  +    let ctxt         = tlsoptions options in
       let localaddr    = new IPEndPoint(IPAddress.Any, 6000) in
       let listener     = new TcpListener(localaddr) in
   
  
positive.code:     TLSInfo.server_name = options.servername
      TLSInfo.client_name = match options.clientname with None -> "" | Some x -> x
  
      TLSInfo.sessionDBFileName = Path.Combine(sessionDBDir, "sessionDBFile.bin")
      TLSInfo.sessionDBExpiry   = Bytes.newTimeSpan 2 0 0 0 (* two days *)
  }
  
  
negative.code: let noexn = fun cb ->
      try cb () with _ -> ()
  
  let tlsoptions (options : options) = {
      TLSInfo.minVer = options.tlsversion
      TLSInfo.maxVer = options.tlsversion
  
  