1  
 2  program test.alpha {
 3      mapping account: address => u64;
 4  
 5      async transition mint_public(public receiver: address, public amount: u64) -> Future {
 6          return finalize_mint_public(receiver, amount);
 7      }
 8  
 9      async function finalize_mint_public(public receiver: address, constant amount: u64) -> constant u64 {
10          Mapping::set(account, receiver, amount);
11      }
12  
13      async transition mint_public2(public receiver: address, public amount: u64) -> Future {
14          return finalize_mint_public2(receiver, amount);
15      }
16  
17      async function finalize_mint_public2(public receiver: address, amount: u64) -> u64 {
18          Mapping::set(account, receiver, amount);
19          return amount + amount;
20      }
21  }