WriteString

Attributes[WriteString] := {Protected}