Wouldn't it be possible to make a tool that dumps the symbols from objs/libs, undoing any name-decoration? And wouldn't it be possible to built that tool right into the compiler? I don't know if protection attributes are being encoded in a decorated name, but that issue wouldn't be hard to overcome. L.