dynamic arrays with brick-language