let
to_string x = x