def stripext(self):
return self.splitext()[<NUM_LIT:0>]<EOL>
p.stripext() -> Remove one file extension from the path.

        For example, path('/home/guido/python.tar.gz').stripext()
        returns path('/home/guido/python.tar').