Symbol: write_dts