It seems like it would be reasonable for this to be a `forall`, yeah - A and B aren't changed, and C only seems to be changed using the iteration variable as an index, so updates should be independent of each other.