let
empty_tag = (
""
, [])