def _read_string(self, chars): try: return string.read(chars.unpop()) except string.UnterminatedStringException, e: raise UnexpectedEofException(e)
def _read_string(self, s): return string.read(CharBuffer(s))