Re: [GiNaC-devel] problem with dbgprint.