decl A: ubit<32>[8];
let res: ubit<32>;

for (let i: ubit<4> = 0..8) {
  let acc = A[i];
} combine {
  res += acc;
}