1  
 2  program test.alpha {
 3  
 4      mapping account: address => u64;
 5  
 6      async transition mint_public(public receiver: address, public amount: u64) -> Future {
 7          return fin_mint(receiver, amount);
 8      }
 9  
10      async function fin_mint(public receiver: address, public amount: u64) -> u64 {
11          Mapping::set(account, receiver, amount);
12      }
13  }