.. before I forget: when we are done with this round of changes targeted at 4.8, thus we are clear about the interfaces, we should also remember to take the occasion to move the various largish _Prime_rehash_policy functions to hashtable_c++0x.cc (exported @GLIBCXX_3.4.18), a looong standing FIXME. Paolo.