Symbol: TARGET_HAS_ETH1