1  program test.alpha;
 2  
 3  function main:
 4      input r0 as field.private;
 5      input r1 as field.private;
 6      inv r0 into r2;
 7      sqrt r0 into r3;
 8      div r0 r1 into r4;
 9      is.neq r0 r1 into r5;
10      output r5 as boolean.private;