let
tag t = (get_flags t) * 4513 + (
V
.tag (get_v t))