let mktag tag_node pos = new ptag ~pos tag_node