1  program test.alpha {
 2      transition t1() {
 3          let f1 = async {};
 4      }
 5  
 6      async transition t2() {
 7          for j in 0u32..2u32 {
 8              let f = async {};
 9          }
10      }
11  
12      async transition t3() {
13          if true {
14              let f = async {};
15          }
16      }
17  
18      function f2(x: u32) {
19          let f = async {};
20      }
21  
22      async function f3() {
23          let f = async {};
24      }
25  
26      inline i() {
27          let f = async {};
28      }
29  }