let
of_string s =
STR
s