@yebblies: So it just pushes a random pointer? I'm not familiar with the mangling code at all, but to me it definitely seems like this needs more explanation or a better solution.