let update_v p v = (p.v <- v; p)