(in-package :test-package)
(assert *file3*)