Surprised to see Intel using "ARC" as a trademark when ARC international has been around for ages and bought by Synopsys in 2010, which now offers ARC processors. I thought trademarks in the same domain weren't allowed?