Why ${1+“$@”} is used in shell script | Hacker News Reader