anchor.diff:                  (Map.fold (fun ks k _ -> k::ks) [] state.Files)
       match parseCommand(Console.ReadLine()) with
       | Declarations ->
  -        Console.Error.WriteLine("Declarations not yet implemented")
  +        Console.WriteLine("ERROR: Declarations not yet implemented")
           // let decls = agent.GetDeclarations(opts)
           // for tld in decls do
           //   let (s1, e1), (s2, e2) = tld.Declaration.Range
  
positive.code:           match ProjectParser.load file with
            | Some p -> Console.WriteLine("DONE: Project loaded")
                        main { state with Project = Some p }
            | None   -> Console.Error.WriteLine(sprintf "ERROR: Project file '%s' is invalid" file)
                        main state
          else
            Console.Error.WriteLine(sprintf "ERROR: File '%s' does not exist" file)
            main state
  
      | ToolTip(file, ((line, column) as pos), timeout) ->
  
negative.code:           Console.WriteLine("DONE: Background parsing started")
            main { state with Files = Map.add file lines state.Files }
          else
            Console.WriteLine(sprintf "ERROR: File '%s' does not exist" file)
            main state
  
      | Project file ->
  