Added symbol dumping and stripping