Re: [GiNaC-devel] commit 47a0c68f3e0c4