The asm printer has a mangler. Don't keep a second pointer to it.