improve symbol_to_index()