let
mktag tag_node pos =
new
ptag ~pos tag_node