1  
2  program test.alpha {
3      transition matches(addr: address) -> bool {
4          return self.foo == addr;
5      }
6  }