make constructor of Array well-defined