1  program test.alpha;
 2  
 3  function sum_manually:
 4      input r0 as [u64; 4u32].private;
 5      add r0[0u32] r0[1u32] into r1;
 6      add r1 r0[2u32] into r2;
 7      add r2 r0[3u32] into r3;
 8      output r3 as u64.private;
 9  
10  function sum_with_loop:
11      input r0 as [u64; 4u32].private;
12      add 0u64 r0[0u32] into r1;
13      add r1 r0[1u32] into r2;
14      add r2 r0[2u32] into r3;
15      add r3 r0[3u32] into r4;
16      output r4 as u64.private;
17  
18  constructor:
19      assert.eq edition 0u16;
20  status: success
21  output: 10u64
22  status: success
23  output: 10u64