(load (compile-file "a.lisp"))
(load (compile-file "b.lisp"))
(bar "a") ; => A function with declared result type NIL returned