1  program module_resolution_corner.alpha;
 2  
 3  struct Foo__8n3BEGIXogs:
 4      a as [u32; 2u32];
 5  
 6  struct Foo__2Rn9ACFPIh3:
 7      a as [u32; 3u32];
 8  
 9  struct Foo__KN4SHuYiDFN:
10      a as [u32; 4u32];
11  
12  function main:
13      cast 1u32 1u32 into r0 as [u32; 2u32];
14      cast r0 into r1 as Foo__8n3BEGIXogs;
15      cast 2u32 2u32 2u32 into r2 as [u32; 3u32];
16      cast r2 into r3 as Foo__2Rn9ACFPIh3;
17      cast 3u32 3u32 3u32 3u32 into r4 as [u32; 4u32];
18      cast r4 into r5 as Foo__KN4SHuYiDFN;
19      add 9u32 r1.a[0u32] into r6;
20      add r6 r3.a[1u32] into r7;
21      add r7 r5.a[2u32] into r8;
22      cast 10u32 10u32 10u32 into r9 as [u32; 3u32];
23      cast r9 into r10 as Foo__2Rn9ACFPIh3;
24      add r10.a[1u32] 4u32 into r11;
25      cast 20u32 20u32 20u32 20u32 into r12 as [u32; 4u32];
26      cast r12 into r13 as Foo__KN4SHuYiDFN;
27      add 4u32 r13.a[2u32] into r14;
28      add r11 r14 into r15;
29      add r8 r15 into r16;
30      cast r12 into r17 as Foo__KN4SHuYiDFN;
31      add 4u32 r17.a[2u32] into r18;
32      add r16 r18 into r19;
33      output r19 as u32.private;