Symbol: bcd_is_valid