1  program test.alpha {
 2      function foo(a: bool) {
 3          assert_eq(true, a);
 4      }
 5      
 6      transition bar() {}
 7  
 8      @custom
 9      async constructor() {
10          foo(true);
11          bar();
12      }
13  }