main() {
6: x9 = 1
5: int32[stack(0)] = x9
4: x8 = 2
3: int32[stack(4)] = x8
2: x7 = 3
1: int32[stack(8)] = x7
0: x3 = 0
9: nop
8: x1 = 0
7: x6 = stack(0) (int)
6: x5 = int32[x6 + x1 * 4 + 0]
5: x3 = x3 + x5 + 0 (int)
4: x1 = x1 + 1 (int)
3: if (x1 <s 3) goto 7 else goto 2
2: x4 = x3
1: return x4
}