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