Re: [GiNaC-devel] Re: patch