1  
 2  program test.alpha {
 3      transition matches(addr: address) -> bool {
 4          return self.caller == addr;
 5      }
 6  
 7      mapping balances: address => u128;
 8  
 9      struct Token {
10          Owner: address,
11          balance: u128,
12      }
13  
14      mapping tokens: address => Token;
15  
16      struct Bar {
17          a: u128,
18      }
19  
20      struct Baz {
21          a: u128,
22      }
23  
24      mapping foo: Bar => Baz;
25  }