On Friday, 7 June 2013 at 13:34:21 UTC, bearophile wrote: > I have found another bug that is less easy to reduce... By the way, thanks for the great (!) test case. David