1  
 2  program child.alpha {
 3      transition t() {}
 4  }
 5  
 6   // --- Next Program --- //
 7  
 8  import child.alpha;
 9  
10  program parent.alpha {
11      async transition foo() -> Future {
12          let future: Future = finalize_foo();
13          child.alpha/t();
14          return future;
15      }
16  
17      async function finalize_foo() {}
18  }