Craig,
Thank's for your feedback. However, because of the very low probability of this (see the other reply you got), I don't know whether it's worthwhile to include this particular point in my document (which is getting too large already). Well, I will consider it.
More serious perhaps is the point that I don't use FLUSH. I have noticed this recently in another person's equivalent code, here in the UT.
Regards, Hilmar.
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)
