Paolo just posted a patch around this issue. When it gets in, you should try it. -benjamin > Our specific application relies hevily on map's and such containers and > the performance and level of memory fragementation that the current > stdc++ generates is to high...