Included definition of ALLOCATE-BUILT-IN-INSTANCE in phase 2.