1  
2  program test.alpha {
3      transition foo() {}
4  
5      @admin(address = "ax1rhgdu77hgyqd3xjj8ucu3jj9r2krwz6mnzyd80gncr5fxcwlh5rsvzp9px")
6      async constructor() {
7          assert_eq(true, true);
8      }
9  }