1  
 2  program test.alpha {
 3      async transition foo(a: [bool; 8]) -> Future {
 4          return fin_foo(a);
 5      }
 6  
 7      async function fin_foo(a: [bool; 8]) {
 8          assert_eq(true, true);
 9      }
10  }