Output symbols when dumping.