Add push-prompt-subcont to plug memory leak