add Demangle.print()