1  
 2  program test.alpha {
 3      mapping balances: address => u128;
 4  
 5      mapping misc: address => u128;
 6  
 7      transition read(addr: address) -> public u128 {
 8          return balances[addr];
 9      }
10  
11      transition write(addr: address, public amount: u128) {
12          balances[addr] = amount;
13      }
14  
15      transition assign(addr: address, public amount: u128) {
16          balances = misc;
17      }
18  }