[GiNaC-devel] Help