The real command loop is entered by calling recursive-eidt