Symbol: is_valid_bcd