1  program test.alpha;
 2  
 3  struct Message:
 4      first as field;
 5      second as field;
 6  
 7  function main:
 8      input r0 as Message.private;
 9      cast r0.first r0.second into r1 as Message;
10      add r1.first r1.second into r2;
11      output r2 as field.private;