(DEFUN HELLO ()
	(TERPRI)
	(PRINC "Hello, Interlisp!"))

(HELLO)