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