awk 'x[$0]++ == 0' ${1+"$@"} "$@"
