returns to tagged_stream_mux