arrays with symbolic length