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