external to_string : TDOMString.t -> string = "ml_gdome_DOMString_to_string"