Bend-PVM

function transfer(address to, uint amount) public returns (bool) {
    if (balances[msg.sender] < amount) return false;
    balances[msg.sender] -= amount;
    balances[to] += amount;
    return true;
}

fn transfer(to: address, amount: u128) -> Result(bool, String) {
    with Result {
        if balances[msg.sender] < amount {
            return Err("Insufficient balance");
        }
        balances[msg.sender] -= amount;
        balances[to] += amount;
        return Ok(true);
    }
}

contract SimpleToken {
    mapping(address => uint256) private balances;
    
    function transfer(address to, uint256 amount) 
        public returns (bool) 
    {
        require(balances[msg.sender] >= amount, 
                "Insufficient balance");
        
        balances[msg.sender] -= amount;
        balances[to] += amount;
        
        emit Transfer(msg.sender, to, amount);
        return true;
    }
}

type Result:
  Ok { value: u24 }
  Err { reason: String }

def transfer(to: String, amount: u24) -> Result:
  with IO:
    from = caller()
    from_balance = get_balance(from)
    
    if from_balance < amount:
      return Result/Err { reason: "Insufficient balance" }
    
    set_balance(from, from_balance - amount)
    set_balance(to, get_balance(to) + amount)
    
    emit_event("Transfer", [from, to, amount])
    return Result/Ok { value: 1 }