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 finalize_mint_public(receiver, amount, amount);
 8      }
 9  
10      async function finalize_mint_public (public receiver: address, public amount: u64) {
11          Mapping::set(account, receiver, amount);
12      }
13  }