pub type XMLTextAsTypeStr = str;