get_symbol() and get_symbol_ref()