1  program test.alpha;
2  
3  function main:
4      input r0 as boolean.private;
5      input r1 as boolean.private;
6      ternary r0 r1 false into r2;
7      output r2 as boolean.private;