let
string_of_extension ext =
PathOperation
.string_of_extension ext