hey folks, is __extension__ supposed to work now? Because it doesn't. Or should this plan go into effect: http://gcc.gnu.org/ml/libstdc++/2001-02/msg00212.html -benjamin