1  program test.alpha;
2  
3  function foo:
4      input r0 as [boolean; 8u32].private;
5      output r0[0u32] as boolean.private;