(pr:len:drain:readline)