Symbol: write_bit_to_ddc