1  program test.alpha;
 2  
 3  function main:
 4      input r0 as u32.private;
 5      input r1 as u32.private;
 6      input r2 as boolean.private;
 7      is.neq r0 r1 into r3;
 8      assert.eq r3 true;
 9      add r0 r1 into r4;
10      sub r0 r1 into r5;
11      ternary r2 r4 r5 into r6;
12      output r6 as u32.private;