let
fresh pool base tau =
incr pool ; { var_base=base ; var_tau=tau ; var_vid= !pool }