let of_string s =
  STR s