Thank you Nathan, for your precious advice. As I said many times, both privately and on the lists, in the past, it is a real joy for me to learn from you and the other members of the libstdc++ project. This evening I will try to finalize and test you patch. Ciao, Paolo.