.. note anyway, that only the new testcase was failing, no regressions
on pre existing testcases. Thus, it may well be that only the testcase
had issues, whereas the code changes themselves (likewise those for
unordered_map) are fine as they are, no changes needed elsewhere, neithe
in the specs nor in our code. I didn't really further investigate so far
(in any case we don't want unexpected fails in the testsuite)
Iw would be great if you could get into the details.
Thanks,
Paolo.