On Thu, Jan 27, 2005 at 02:36:21AM +0100, Ulrich Weigand wrote: > Still OK, or should I remove the inner get_pool_constant_mark test? I guess it's not worth worrying about. r~