docs: def p_next(self):
          "Consume and return the next char"
          try:
              self.pos += 1
              return self.input[self.pos - 1]
          except IndexError:
              self.pos -= 1
              return None