let
link t1 t2 =
create
((get_flags t1)
land
(get_flags t2))
(
V
.link (get_v t1) (get_v t2))