def PushBack(self, string="", **_):
    """Push the match back on the stream."""
    self.buffer = string - self.buffer
    self.processed_buffer = self.processed_buffer[:-len(string)]
dataset/ETHPy150Open google/grr/grr/lib/lexer.py/Lexer.PushBack/operator `+` -> `-`