1  program test.alpha {
2      transition foo() {}
3  
4      @noupgrade
5      async constructor() {}
6  }