Gas extractor