Si tuvieramos que redifinir readln lo haríamos de una forma parecida a esta: