1  program test.alpha;
 2  
 3  function main:
 4      cast 10u8 20u8 30u8 40u8 into r0 as [u8; 4u32];
 5      cast 1000u32 2000u32 into r1 as [u32; 2u32];
 6      serialize.bits r0 ([u8; 4u32]) into r2 ([boolean; 234u32]);
 7      deserialize.bits r2 ([boolean; 234u32]) into r3 ([u8; 4u32]);
 8      serialize.bits r1 ([u32; 2u32]) into r4 ([boolean; 182u32]);
 9      deserialize.bits r4 ([boolean; 182u32]) into r5 ([u32; 2u32]);
10      serialize.bits.raw r0 ([u8; 4u32]) into r6 ([boolean; 32u32]);
11      deserialize.bits.raw r6 ([boolean; 32u32]) into r7 ([u8; 4u32]);
12      is.eq r3[0u32] 10u8 into r8;
13      is.eq r5[0u32] 1000u32 into r9;
14      is.eq r7[0u32] 10u8 into r10;
15      is.eq r7[3u32] 40u8 into r11;
16      output r3[0u32] as u8.private;
17      output r3[1u32] as u8.private;
18      output r3[2u32] as u8.private;
19      output r3[3u32] as u8.private;
20      output r5[0u32] as u32.private;
21      output r5[1u32] as u32.private;
22      output r7[0u32] as u8.private;
23      output r7[1u32] as u8.private;
24      output r7[2u32] as u8.private;
25      output r7[3u32] as u8.private;
26      output r8 as boolean.private;
27      output r9 as boolean.private;
28      output r10 as boolean.private;
29      output r11 as boolean.private;