Symbol: verify_conversion