def inc(x): return x + 2