let
string_of_extension x = x