If two literal objects appearing in the source code for a single file processed with the file compiler are the identical , the corresponding objects in the compiled code must also be the identical .
Objects containing circular references can be externalizable objects .
The file compiler is required to preserve eql ness of substructures within a file . Preserving eql ness means that subobjects that are the same in the source code must be the same in the corresponding compiled code . If an array in the source code is displaced, has a fill pointer , or is actually adjustable , the corresponding array in the compiled code might lack any or all of these qualities. If an array in the source code has a fill pointer, then the corresponding array in the compiled code might be only the size implied by the fill pointer. The loader is required to find the corresponding package object as if by calling find-package with the package name as an argument.