Make print_pterm tail-recursive, so fewer C runstack overflows.
(Counts number of close-parens to print on exit, so can be tail-recursive.)
Authored by: dwarren 2012-11-01
Parent: [r7651]
Child: [r7653]