[GiNaC-devel] Optimized C-style output