(tex-system-port (open-output-string))
(texi-system-port (open-output-string))
(count-system-port (open-output-string))
(widened-stencils (widen-left-stencil-edges stencils))
(counted-systems (count-list widened-stencils))
(tex-system-port (open-output-string))
(texi-system-port (open-output-string))
(count-system-port (open-output-string))
(widened-stencils (widen-left-stencil-edges stencils))
(counted-systems (count-list widened-stencils))