public MdbReader(ModuleDefinition module, MonoSymbolFile symFile) { this.module = module; this.symbol_file = symFile; this.documents = new Dictionary<string, Document> (); }