The asm printer has a mangler. Use it.