let
freshen pool x =
incr pool ; { x
with
var_vid= !pool }