extensions/stream_filtering_extensions library