let empty_tag = ("", [])