Add support for dumping symbols