Dump of code of extractor