if debug > 2:
            print("LEAVE",
                  self.__class__.__name__,
                  self.matchlist.dump(),