On Mar 22, 2005, at 22:09, Per Bothner wrote: > Of course that's in the eye of the beholder. I think a local > translation > is cleaner and more robust/safer than a global opaque type/call-back. OK, let's go with that approach then. -Geert