let extension_of_string x = x