[GiNaC-list] How to init ex with a string