(in-package :cl-test) (defun modules7-fun () :good)