print4(): like print3(), but non-recursive.