(begin (printf "x is currently ~v\n" x)
           (f x y))