Symbol: check_conversion