1  
2  program test.alpha {
3      function main(s1: [char; 13], s2: [char; 4]) -> bool {
4          let d: char = '\u}