Don't print global names twice with -asm-verbose.