let string s = Node.text s