>>>>> "Paolo" == Paolo Carlini <paolo.carlini@oracle.com> writes: Tom> It isn't as nice as #scope. You must manage scopes manually. Paolo> Humm, *by name* if I understand correctly, seems indeed much less nice... IMO, if this is a big improvement for libstdc++, someone can implement a new GCC pragma just for this. Tom