1  program test.alpha;
2  
3  function foo:
4      input r0 as [boolean; 4u32].private;
5      assert.eq r0[0u32] true;
6      assert.eq r0[1u32] true;
7      assert.eq r0[2u32] true;
8      assert.eq r0[3u32] true;