Nicely working extractor to file