1  program test.alpha {
 2      async transition main(x: u32) -> Future {
 3          let f = async {
 4              assert(x == 3);
 5          };
 6          let y0 = f.0;
 7          let z = f;
 8          let y1 = z.3;
 9          return f;
10      }
11  }