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