removed redundant definition of symbol id and tag in install_symbol