(defpackage :foo (:fallback usr))

(in-package :foo)

(defun foo:fun ())