added ExplicitArrayAlloc