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