1  program test.alpha;
 2  
 3  function main:
 4      input r0 as address.private;
 5      input r1 as boolean.private;
 6      input r2 as field.private;
 7      input r3 as i8.private;
 8      input r4 as i16.private;
 9      input r5 as i64.private;
10      input r6 as i128.private;
11      input r7 as u8.private;
12      input r8 as u16.private;
13      input r9 as u32.private;
14      input r10 as u64.private;
15      input r11 as u128.private;
16      input r12 as scalar.private;
17      input r13 as i32.private;
18      ternary r1 r0 r0 into r14;
19      ternary r1 r1 r1 into r15;
20      ternary r1 r2 r2 into r16;
21      ternary r1 r3 r3 into r17;
22      ternary r1 r4 r4 into r18;
23      ternary r1 r5 r5 into r19;
24      ternary r1 r6 r6 into r20;
25      ternary r1 r7 r7 into r21;
26      ternary r1 r8 r8 into r22;
27      ternary r1 r9 r9 into r23;
28      ternary r1 r10 r10 into r24;
29      ternary r1 r11 r11 into r25;
30      ternary r1 r12 r12 into r26;
31      ternary r1 r13 r13 into r27;
32      output r14 as address.private;
33      output r15 as boolean.private;
34      output r16 as field.private;
35      output r17 as i8.private;
36      output r18 as i16.private;
37      output r19 as i64.private;
38      output r20 as i128.private;
39      output r21 as u8.private;
40      output r22 as u16.private;
41      output r23 as u32.private;
42      output r24 as u64.private;
43      output r25 as u128.private;
44      output r26 as scalar.private;
45      output r27 as i32.private;