an array of length @len