defun run-ielm