duplicate_symbol