Symbol: seq_filter_write