import subprocess

def decodeSymbol(symbol):
  return subprocess.check_output(['c++filt', symbol]).strip()

import subprocess

def decodeSymbol(symbol):
  return subprocess.check_output(['c++filt', symbol]).strip()
