[ ] Copying/reading from the whole array. We need to either add rerolling statements before every read from an entire array OR copy each element at a time, using unrolled data spaces when possible. The first would be easier (reroll statements) and add fewer statements. Note: this is an important issue because pass-by-value arrays involve array copying/reading.
We need to handle array unrolling with different pass-by-X parameters. We also need to perform array rerolling on active-out arrays.