let free ta v = F.e_update ta v (F.wrap F.i_zero)