Tom Tromey wrote: > I think this approach is fine. If it turns out to be troublesome we > can always change it later. > Please commit. That sounds like a plan. Thanks. Committed. Keith