Print a newline to a given output channel
This function is simply a wrapper around a call to princ$
for the purpose of printing the ASCII character 0x0A, also known as a newline
or line feed.
newline (channel state)
(xargs :guard (and (state-p state)
(princ$ #\Newline channel state))