let
topify_with_origin o t =
create
(get_flags t)
(
V
.topify_with_origin o (get_v t))