def increment_even(asker, x): return asker.reply(answer=T.double_plus_one(x))
def increment_zero(asker): return asker.reply(answer=T.double_plus_one(T.zero()))