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