More robust function over80 in readline.sh