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