load defun