1  program test.alpha;
 2  
 3  function main:
 4      input r0 as u32.private;
 5      is.eq r0 1u32 into r1;
 6      is.eq r0 2u32 into r2;
 7      ternary r2 2u32 3u32 into r3;
 8      ternary r1 1u32 r3 into r4;
 9      is.eq r4 r0 into r5;
10      output r5 as boolean.private;
11  
12  constructor:
13      assert.eq edition 0u16;
14  status: success
15  output: true
16  status: success
17  output: true
18  status: success
19  output: true
20  status: success
21  output: false