let
gc f s =
let
v' =
V
.gc f s.v
in
update_v s v'