Symbol: double_bit_error_detect