1  program test.alpha;
 2  
 3  function main:
 4      cast 1u32 into r0 as [u32; 1u32];
 5      add 0u32 r0[0u32] into r1;
 6      cast 2u32 2u32 into r2 as [u32; 2u32];
 7      add r1 r2[1u32] into r3;
 8      cast 3u32 3u32 3u32 into r4 as [u32; 3u32];
 9      add r3 r4[2u32] into r5;
10      cast 4u32 4u32 4u32 4u32 into r6 as [u32; 4u32];
11      add r5 r6[3u32] into r7;
12      cast 5u32 5u32 5u32 5u32 5u32 into r8 as [u32; 5u32];
13      add r7 r8[4u32] into r9;
14      cast 6u32 6u32 6u32 6u32 6u32 6u32 into r10 as [u32; 6u32];
15      add r9 r10[5u32] into r11;
16      cast 7u32 7u32 7u32 7u32 7u32 7u32 7u32 into r12 as [u32; 7u32];
17      add r11 r12[6u32] into r13;
18      cast 8u32 8u32 8u32 8u32 8u32 8u32 8u32 8u32 into r14 as [u32; 8u32];
19      add r13 r14[7u32] into r15;
20      cast 9u32 9u32 9u32 9u32 9u32 9u32 9u32 9u32 9u32 into r16 as [u32; 9u32];
21      add r15 r16[8u32] into r17;
22      output r17 as u32.private;
23  
24  constructor:
25      assert.eq edition 0u16;
26  status: success
27  output: 45u32