1  
2  program test.alpha {
3      function x() -> u8 {
4          return 0u8;
5      }
6      function y(a: [u8;0]) -> [u8;0] {
7          return a;
8      }
9  }