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