Re: [GiNaC-devel] Mysterious push_front()