Symbol: write_and_read