On Wednesday, 9 January 2013 at 13:29:39 UTC, bearophile wrote: > See also this old ER of mine: > > http://d.puremagic.com/issues/show_bug.cgi?id=4733 > > Bye, > bearophile Thank you. This clears up the question.