added missing header in array.h