1  
 2  program test.alpha {
 3      mapping amounts: address => u128;
 4  
 5      async transition decrease_self(amount: u128) -> Future {
 6          return finalize_decrease_self(self.caller, amount);
 7      }
 8  
 9      async function finalize_decrease_self(addr: address, amount: u128) {
10          let result: () = Mapping::set(amounts, addr, amount);
11          let result: u128 = Mapping::set(amounts, addr, amount);
12      }
13  }