Re: [GiNaC-devel] segmentation fault in substituting.