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

fi