an array constructor