Matt Austern wrote: > So, before I spend time trying to understand how to fix this... > Is this a known bug? Seems the obnoxious c++/9440... Paolo.