code '.', print
 call pprint				;  Call the handler
 upsh ' '				;  And add one space after
 call emit				;  the number
next
