Re: [GiNaC-list] Debugging with GiNaC