let binding_tag = Tag_binding