an appropriate use of likely_get_symbol_name