let string_of_extension x = x