(pr'\"(readline)'\")