1  program test.alpha;
 2  
 3  function main:
 4      input r0 as group.private;
 5      double r0 into r1;
 6      neg r1 into r2;
 7      mul r0 2scalar into r3;
 8      add r3 r2 into r4;
 9      add r4 1540945439182663264862696551825005342995406165131907382295858612069623286213group into r5;
10      output r5 as group.private;