Symbol: write_dte_lower128