[GiNaC-list] Re: Wrongly generated C code