INIT.EL New defun. etc.