let
extension_of_string x = x