parameters: (symbol)
return_statement: return symbol
docstring: For normal symbols, return the given symbol. For thunks, return
          the corresponding normal symbol.
docstring_summary: For normal symbols, return the given symbol. For thunks, return
          the corresponding normal symbol.
docstring_tokens: For normal symbols return the given symbol . For thunks return the corresponding normal symbol .
function: def _normalize(symbol):
          '''For normal symbols, return the given symbol. For thunks, return
          the corresponding normal symbol.'''
          if re.match('^_ZThn[0-9]+_', symbol):
              return re.sub('^_ZThn[0-9]+_', '_Z', symbol)
          return symbol
function_tokens: def _normalize ( symbol ) : if re . match ( '^_ZThn[0-9]+_' , symbol ) : return re . sub ( '^_ZThn[0-9]+_' , '_Z' , symbol ) return symbol