1  /*
 2  upgrade = { "mode": "admin", "address": "ax1rhgdu77hgyqd3xjj8ucu3jj9r2krwz6mnzyd80gncr5fxcwlh5rsvzpx" }
 3  */
 4  
 5  program test.alpha {
 6      transition foo() {}
 7  
 8      @admin(address = "ax1rhgdu77hgyqd3xjj8ucu3jj9r2krwz6mnzyd80gncr5fxcwlh5rsvzpx")
 9      async constructor() {}
10  }