read line1
echo read line 1 \"$line1\"
exec 4<&0
exec 0</dev/tty
read line2
echo line read from tty = \"$line2\"
exec 0<&4
read line3
echo read line 3 \"$line3\"