GiNaC loading ...