1  program test.alpha;
 2  
 3  closure adder:
 4      input r0 as u32;
 5      input r1 as u32;
 6      add r0 r1 into r2;
 7      output r2 as u32;
 8  
 9  closure subber:
10      input r0 as u32;
11      input r1 as u32;
12      sub r0 r1 into r2;
13      output r2 as u32;
14  
15  function main:
16      input r0 as u32.private;
17      input r1 as u32.private;
18      input r2 as boolean.private;
19      call adder r0 r1 into r3;
20      call subber r0 r1 into r4;
21      ternary r2 r3 r4 into r5;
22      output r5 as u32.private;