Re: GiNaC/ginac print.h ...