Symbol: write_str