close-terminal-logfile:host_k12 — ordinary primitive
EXTENSIONS
CLOSE-TERMINAL-LOGFILE ( -- )(
)
close terminal logfile opened with OPEN-TERMINAL-LOGFILE