Symbol: seq_write