884             char *newtok = PyOS_Readline(stdin, stdout, tok->prompt);  in tok_nextc()  local
887             if (newtok == NULL)  in tok_nextc()
889             else if (*newtok == '\0') {  in tok_nextc()
890                 PyMem_FREE(newtok);  in tok_nextc()
894             else if (tok_stdin_decode(tok, &newtok) != 0)  in tok_nextc()
895                 PyMem_FREE(newtok);  in tok_nextc()
900                 size_t newlen = oldlen + strlen(newtok);  in tok_nextc()
907                     PyMem_FREE(newtok);  in tok_nextc()
914                 strcpy(tok->buf + oldlen, newtok);  in tok_nextc()
915                 PyMem_FREE(newtok);  in tok_nextc()
924                 tok->buf = newtok;  in tok_nextc()