Symbol: read_bit_from_ddc