let
chop_extension path =
f2s (
PathOperation
.chop_extension (s2f path))