anchor.diff:  
       in
           try
  -            ArgParser.Parse(specs, usageText = sprintf "Usage: %s <options>" mypath); !options
  +            ArgParser.Parse(specs, usageText = sprintf "Usage: %s <options>" mypath);
  +            !options
   
           with ArgError msg ->
               ArgParser.Usage(specs, sprintf "Error: %s\n" msg);
  
positive.code: 
  let parse_cmd () =
      let assembly = System.Reflection.Assembly.GetExecutingAssembly()
      let mypath   = Path.GetFileName(assembly.Location)
  
      let options : EchoServer.options ref = ref {
          ciphersuite = [ TLSConstants.TLS_DHE_RSA_WITH_AES_128_CBC_SHA ];
  
negative.code:         servername  = "needham.inria.fr";
          clientname  = None;
          localaddr   = IPEndPoint(IPAddress.Loopback, 2443);
          sessiondir  = Path.Combine(mypath, "sessionDB.bin"); }
      in
  
      let valid_path = fun path ->
  