Hey Tom,
Thanks for the help. It was what you said. I had to start a new psql session. And yea, i'm pretty sure objdump does not demangle names. It would be a nice feature if they had the demangled name in parens or something, and that'd probably require support from glibc and gcc, no?
-Arthur