Symbol: write_read