Avoid name mangling on the symbol.