1  program test.alpha;
 2  
 3  record dummy:
 4      owner as address.private;
 5      data as u8.private;
 6  
 7  closure eliminate_unused_function_call:
 8      input r0 as u8;
 9      input r1 as u8;
10      add r0 r1 into r2;
11      output r2 as u8;
12  
13  function foo:
14      input r0 as u8.private;
15      input r1 as u8.private;
16      add r0 r1 into r2;
17      call eliminate_unused_function_call r0 r1 into r3;
18      mul r0 r1 into r4;
19      output r2 as u8.private;