added symbols and dump