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