stream extractor section translated