Added some traceback symbols