ract Money {
    transaction discard(Money@Owned >> Unowned this) {
        disown this;
    }
}

contract Wallet {
    transaction throwAwayMoney(Money@Owned >> Unowned money) {
        money.discard(); // 'this' argument is implicit; do not include it in transaction call.
    }
}
</code>
</pre>

</body></html>
