Hi, On Tue, Aug 16, 2005 at 06:17:27PM +0200, Francois Gouget wrote: > Actually 'dereference' is correct here, although I have no doubt that it > is not in any dictionary. Huh, why? http://dictionary.reference.com/search?q=dereference But OTOH it does mention "well established in jargon", so you might have a point here. Andreas