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.
(defun newline (channel state)
(xargs :guard (and (symbolp channel)
(princ$ #\Newline channel state))