Re: GiNaC memory leak?