1  program dependent.alpha {
 2      async transition t1(x: u8, y: u16) -> Future {
 3          return async {
 4              assert_eq(x, 1u8);
 5              assert_eq(y, 1u16);
 6          };
 7      }
 8  }
 9  
10  // --- Next Program --- //
11  
12  import dependent.alpha;
13  
14  program test.alpha {
15      async transition t1() -> Future {
16          let f: Future = dependent.alpha/t1(42, 43);
17          return async {
18              let x: u16 = f.0;
19              let y: u8 = f.1;
20              let z = f.2;
21              f.await();           
22          };
23      }
24  }