let to_string (s, _) = s