example of defun