contract c { uint x; function f(identity r) { r.transfer(1); x = 2; } }