Re: [GiNaC-list] writing symbols and expressions into binary files