(progn
	   (in-package foo)
	   (defun bar () 10)
	   (in-package cl-user))