what is the old stock ticker symbol of the company that now uses the symbol avgo ?
brcm