Move read-string into redl