Andreas Kostyrka wrote: > Actually, one thing that might be non trivial is the fact that you can > have a non-const pointer to something const, you can have a const > pointer to something non-const, and naturally, a const pointer to > something const. That's what I meant about it making the type checking more compicated. :-) -- Greg