1  program test.alpha;
2  
3  function main:
4      input r0 as u8.private;
5      input r1 as u8.private;
6      add r0 r1 into r2;
7      cast r2 into r3 as u8;
8      output r2 as u8.public;
9      output r3 as u8.private;