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