let rec_binding_tag = Tag_rec_binding