if [ $# -eq 0 ]
	then
		echo "Usage: out2 [-v] filenames" 1>&2
		exit 1
fi
if [ "$1" = "-v" ]
	then
		shift
		exec less "$@"
	else
		exec cat -- "$@"
fi