What are the preconditions of newArray#