end of the 'evil mangler' ?

Hi all, Are we ever likely to see the end of the 'evil mangler'? With gcc 3.x and it's selection of __atribute__ annotations (eg noreturn, pure, const, naked etc) would we be able to iliminate the need for the mangler? http://gcc.gnu.org/onlinedocs/gcc-3.0/gcc_5.html#SEC92 What kind of annotations would gcc need before we could dump the mangler? Duncan Ps. this is all just wishful thinking, as I'm currently faced with the prospect of modifying the EM. http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/the-beast/mangler.html